The cat eats the dog. The cat sees the squirrel. The cat visits the mouse. The dog eats the squirrel. The dog is young. The dog sees the cat. The dog visits the cat. The dog visits the squirrel. The mouse eats the dog. The mouse sees the cat. The mouse visits the cat. The squirrel is big. The squirrel is blue. The squirrel sees the dog. The squirrel visits the dog. The squirrel visits the mouse. If something sees the mouse then it is rough. If something visits the mouse and the mouse is rough then it sees the squirrel. If something is rough then it eats the cat. If something eats the cat then it is rough. If something sees the squirrel then it eats the squirrel. If something sees the dog then it sees the mouse.
The cat sees the mouse.
@0: The cat eats the dog.[(triple1)] The cat sees the squirrel.[(triple2)] The cat visits the mouse.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is young.[(triple5)] The dog sees the cat.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the squirrel.[(triple8)] The mouse eats the dog.[(triple9)] The mouse sees the cat.[(triple10)] The mouse visits the cat.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The cat eats the squirrel.[(((triple2) -> rule5))] The squirrel sees the mouse.[(((triple14) -> rule6))] @2: The squirrel is rough.[(((((triple14) -> rule6)) -> rule1))] @3: The squirrel eats the cat.[(((((((triple14) -> rule6)) -> rule1)) -> rule3))]