Rule sftnxszaopouqjxf

[id: sftnxszaopouqjxf] i(what is $earth) && fact($earth is $flat) => o(it's $flat)

Loaded as

[id: sftnxszaopouqjxf] input(what is $earth) && fact($earth is $flat) => output(it's $flat)