The mouse eats the squirrel. The mouse is not red. The squirrel is green. If someone eats the mouse then the mouse needs the squirrel. If the mouse is not rough and the mouse does not eat the squirrel then the mouse does not need the squirrel. If someone needs the squirrel then they need the mouse. If someone eats the squirrel then they eat the mouse. If someone is red and they eat the squirrel then the squirrel is big. If someone visits the squirrel then the squirrel is not kind. If someone visits the mouse and they do not need the mouse then the mouse visits the squirrel. If the mouse does not need the squirrel then the mouse visits the squirrel.
The mouse does not need the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse is not red.[(triple2)] The squirrel is green.[(triple3)] @1: The mouse eats the mouse.[(((triple1) -> rule4))] @2: The mouse needs the squirrel.[(((((triple1) -> rule4)) -> rule1))] @3: The mouse needs the mouse.[(((((((triple1) -> rule4)) -> rule1)) -> rule3))]