Rule rvolsrtmfmzjmggr

[id: rvolsrtmfmzjmggr] fact(all $xs are $y) && fact($_q_x is the singular of $_q_xs) && fact(there is a $x that is not $y) => fact(contradiction)

Loaded as

[id: rvolsrtmfmzjmggr] fact(all $xs are $y) && fact($_q_x is the singular of $_q_xs) && fact(there is a $x that is not $y|there is an $x that is not $y) => fact(contradiction)