Rule kbonytnhrrnkmlvv

[id: kbonytnhrrnkmlvv] i(are $xs bigger than $ys) && fact($xs are big) => o(probably, $xs are pretty big)

Loaded as

[id: kbonytnhrrnkmlvv] input(are $xs bigger than $ys) && fact($xs are big) => output(probably, $xs are pretty big)