The mouse is not round. The squirrel eats the mouse. If something eats the squirrel and it does not eat the mouse then the mouse visits the squirrel. If something is red and it sees the mouse then the mouse does not see the squirrel. If something eats the squirrel then the squirrel is red. If something is red then it sees the mouse. If something eats the mouse then it eats the squirrel. If something visits the squirrel then the squirrel does not visit the mouse. If something visits the squirrel then the squirrel does not see the mouse. If something eats the squirrel then it sees the squirrel.
The mouse does not visit the squirrel.
@0: The mouse is not round.[(triple1)] The squirrel eats the mouse.[(triple2)] @1: The squirrel eats the squirrel.[(((triple2) -> rule5))] @2: The squirrel is red.[(((((triple2) -> rule5)) -> rule3))] The squirrel sees the squirrel.[(((((triple2) -> rule5)) -> rule8))] @3: The squirrel sees the mouse.[(((((((triple2) -> rule5)) -> rule3)) -> rule4))] @4: The mouse does not see the squirrel.[(((((((triple2) -> rule5)) -> rule3) ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2))]