The mouse sees the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. If someone sees the mouse then the mouse eats the squirrel. If the mouse eats the squirrel then the squirrel sees the mouse. If someone is red and green then they visit the mouse. If someone sees the squirrel and the squirrel visits the mouse then the squirrel is young. If someone is big then they visit the squirrel. If someone sees the mouse and they are not cold then the mouse sees the squirrel. If someone visits the squirrel then they see the mouse. If someone visits the squirrel and the squirrel does not visit the mouse then the squirrel does not eat the mouse.
The mouse does not eat the squirrel.
@0: The mouse sees the squirrel.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel eats the mouse.[(triple3)] @1: The mouse sees the mouse.[(((triple2) -> rule7))] @2: The mouse eats the squirrel.[(((((triple2) -> rule7)) -> rule1))] @3: The squirrel sees the mouse.[(((((((triple2) -> rule7)) -> rule1)) -> rule2))]