Rule zkngklqegmwhfdqa

[id: zkngklqegmwhfdqa] i(is $x $y?) && fact($x is $y) => o(yes)

Loaded as

[id: zkngklqegmwhfdqa] input(is $x $y?) && fact($x is $y) => output(yes)