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