The cat eats the mouse. The mouse chases the squirrel. The squirrel is cold. If something needs the mouse then the mouse is round. If something chases the cat then the cat eats the squirrel. If the mouse chases the squirrel then the mouse eats the squirrel. If something chases the cat and the cat eats the mouse then the mouse is not nice. If something is round then it chases the mouse. If something is cold and it does not chase the mouse then it needs the cat.
The cat is nice.
@0: The cat eats the mouse.[(triple1)] The mouse chases the squirrel.[(triple2)] The squirrel is cold.[(triple3)] @1: The mouse eats the squirrel.[(((triple2) -> rule3))]