The cow sees the dog. The cow sees the squirrel. The cow visits the lion. The dog does not visit the lion. The dog visits the squirrel. The lion chases the cow. The lion is not young. The lion visits the dog. The squirrel does not chase the dog. The squirrel does not visit the lion. If the dog is not green then the dog chases the cow. If something visits the squirrel then it sees the lion.
The dog visits the squirrel.
@0: The cow sees the dog.[(triple1)] The cow sees the squirrel.[(triple2)] The cow visits the lion.[(triple3)] The dog does not visit the lion.[(triple4)] The dog visits the squirrel.[(triple5)] The lion chases the cow.[(triple6)] The lion is not young.[(triple7)] The lion visits the dog.[(triple8)] The squirrel does not chase the dog.[(triple9)] The squirrel does not visit the lion.[(triple10)] @1: The dog sees the lion.[(((triple5) -> rule2))]