[id: dnturutbfnikazuu] i(do you know what a $x is) && !fact($x is $y) => o(No. What is a $x?)
[id: dnturutbfnikazuu] input(do you know what a $x is|do you know what an $x is) && !fact($x is $y) => output(No. What is a $x?)