The cow eats the mouse. The cow is red. The cow is rough. The mouse eats the squirrel. The squirrel eats the cow. The squirrel eats the mouse. The squirrel is round. The squirrel is young. The squirrel visits the cow. The squirrel visits the mouse. If something is red and round then it likes the cow. If something visits the mouse and it is young then the mouse is young. If something visits the squirrel then it is round. If something eats the squirrel then it is round. If something eats the cow then it visits the mouse. If something eats the cow then it is young.
The mouse does not eat the squirrel.
@0: The cow eats the mouse.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The mouse eats the squirrel.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8 OR ((triple5) -> rule6))] The squirrel visits the cow.[(triple9)] The squirrel visits the mouse.[(triple10 OR ((triple5) -> rule5))] @1: The mouse is round.[(((triple4) -> rule4))] The mouse is young.[(((triple10 triple8) -> rule2) OR ((triple10 ((triple5) -> rule6)) -> rule2) OR ((((triple5) -> rule5) triple8) -> rule2) OR ((((triple5) -> rule5) ((triple5) -> rule6)) -> rule2))]