Rule jtunxyruibvvaxje

[id: jtunxyruibvvaxje] i(is $x $y?) && fact($x is not $y) => o(no)

Loaded as

[id: jtunxyruibvvaxje] input(is $x $y?) && fact($x is not $y) => output(no)