The cat does not need the squirrel. The mouse sees the squirrel. The squirrel sees the cat. If something is nice and it eats the mouse then it is rough. If something sees the cat then the cat eats the squirrel. If the mouse does not eat the squirrel then the mouse is round. If something needs the mouse then it eats the cat. If something is big then it needs the mouse. If something eats the squirrel then it needs the mouse. If something eats the mouse then it is green. If something eats the squirrel and it is not green then it is round.
The cat does not eat the squirrel.
@0: The cat does not need the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat eats the squirrel.[(((triple3) -> rule2))] @2: The cat needs the mouse.[(((((triple3) -> rule2)) -> rule6))] @3: The cat eats the cat.[(((((((triple3) -> rule2)) -> rule6)) -> rule4))]