The cat eats the squirrel. The cat is red. The dog visits the cat. The dog visits the mouse. The mouse eats the squirrel. The mouse is kind. The squirrel visits the dog. If something sees the squirrel then the squirrel eats the cat. If the cat eats the mouse then the cat visits the dog. If the mouse eats the squirrel then the squirrel is round. If something is round then it eats the mouse. If something visits the dog and it is red then it visits the mouse. If something sees the dog and it sees the cat then the cat sees the squirrel.
The squirrel is round.
@0: The cat eats the squirrel.[(triple1)] The cat is red.[(triple2)] The dog visits the cat.[(triple3)] The dog visits the mouse.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is kind.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The squirrel is round.[(((triple5) -> rule3))] @2: The squirrel eats the mouse.[(((((triple5) -> rule3)) -> rule4))]