[id: utaypvfjmkzzwall] i(what is $the_earth) && fact($the_earth is $flat) => o(it's $flat)
[id: utaypvfjmkzzwall] input(what is $the_earth) && fact($the_earth is $flat) => output(it's $flat)