The mouse eats the squirrel. The mouse is big. The mouse is green. The mouse is red. The mouse is rough. The mouse is young. The mouse likes the squirrel. The mouse does not see the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel sees the mouse. If the squirrel sees the mouse and the mouse sees the squirrel then the mouse is young. If the squirrel is big then the squirrel eats the mouse. If the squirrel does not like the mouse then the squirrel eats the mouse. If something is red then it eats the mouse. If something sees the mouse then it does not like the squirrel. If something eats the squirrel then it likes the squirrel. If the squirrel likes the mouse and the squirrel does not eat the mouse then the mouse eats the squirrel. If the squirrel does not see the mouse and the squirrel is not green then the mouse eats the squirrel.
The mouse is not young.
@0: The mouse does not see the squirrel.[(triple8)] The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7 OR ((triple1) -> rule6))] The squirrel eats the mouse.[(triple9 OR ((triple10) -> rule2) OR ((triple12) -> rule4))] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The mouse eats the mouse.[(((triple4) -> rule4))] The squirrel does not like the squirrel.[(((triple16) -> rule5))]