The cat sees the squirrel. The lion eats the cat. The mouse eats the lion. The squirrel sees the cat. All blue things are big. If something needs the mouse then it is round. If something needs the mouse and the mouse eats the squirrel then the squirrel needs the lion. If something eats the squirrel and it is blue then the squirrel sees the cat. If something eats the lion then the lion sees the squirrel. If something eats the mouse and it is red then the mouse is red.
The cat sees the squirrel.
@0: The cat sees the squirrel.[(triple1)] The lion eats the cat.[(triple2)] The mouse eats the lion.[(triple3)] The squirrel sees the cat.[(triple4)] @1: The lion sees the squirrel.[(((triple3) -> rule5))]