The cow needs the mouse. The mouse is big. The squirrel visits the mouse. If someone visits the mouse then the mouse visits the squirrel. If someone eats the squirrel then the squirrel eats the cow. If the mouse is big then the mouse is nice. If someone is kind then they eat the squirrel. If someone needs the cow and the cow visits the mouse then they eat the cow. All nice people are kind.
The squirrel is kind.
@0: The cow needs the mouse.[(triple1)] The mouse is big.[(triple2)] The squirrel visits the mouse.[(triple3)] @1: The mouse is nice.[(((triple2) -> rule3))] The mouse visits the squirrel.[(((triple3) -> rule1))] @2: The mouse is kind.[(((((triple2) -> rule3)) -> rule6))] @3: The mouse eats the squirrel.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] @4: The squirrel eats the cow.[(((((((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule2))]