The dog is young. The dog sees the mouse. The dog does not see the squirrel. The dog does not visit the mouse. The mouse needs the squirrel. The mouse does not see the squirrel. The mouse visits the squirrel. The squirrel is red. The squirrel sees the mouse. The squirrel visits the dog. If something sees the mouse then it visits the squirrel.
The mouse sees the squirrel.
@0: The dog does not see the squirrel.[(triple3)] The dog does not visit the mouse.[(triple4)] The dog is young.[(triple1)] The dog sees the mouse.[(triple2)] The mouse does not see the squirrel.[(triple6)] The mouse needs the squirrel.[(triple5)] The mouse visits the squirrel.[(triple7)] The squirrel is red.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog visits the squirrel.[(((triple2) -> rule1))] The squirrel visits the squirrel.[(((triple9) -> rule1))]