Rule bqqjbfphvucehicb

[id: bqqjbfphvucehicb] i(are $xs bigger than $ys) && fact($xs are small) && fact($ys are big) => o(probably not!)

Loaded as

[id: bqqjbfphvucehicb] input(are $xs bigger than $ys) && fact($xs are small) && fact($ys are big) => output(probably not!)