The mouse does not eat the squirrel. The squirrel eats the mouse. The squirrel is round. If the squirrel eats the mouse then the mouse needs the squirrel. If the mouse needs the squirrel then the mouse is green. If someone is nice and they do not eat the mouse then they need the squirrel. If someone is blue then they need the squirrel. If someone is nice and round then they chase the mouse. If the mouse needs the squirrel and the squirrel eats the mouse then the squirrel is nice. If the mouse needs the squirrel then the squirrel is young. If the mouse does not need the squirrel then the squirrel needs the mouse.
The squirrel is nice.
@0: The mouse does not eat the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] The squirrel is round.[(triple3)] @1: The mouse needs the squirrel.[(((triple2) -> rule1))] @2: The mouse is green.[(((((triple2) -> rule1)) -> rule2))] The squirrel is nice.[(((((triple2) -> rule1) triple2) -> rule6))] The squirrel is young.[(((((triple2) -> rule1)) -> rule7))] @3: The squirrel chases the mouse.[(((((((triple2) -> rule1) triple2) -> rule6) triple3) -> rule5))]