The dog chases the lion. The dog is young. The lion sees the dog. If someone is round then they see the dog. If the dog sees the lion and the lion does not see the dog then the lion chases the dog. If someone visits the lion then they visit the dog. If someone chases the dog then they visit the lion. If someone chases the lion then they visit the lion. If someone sees the dog and the dog visits the lion then they chase the lion.
The dog does not see the dog.
@0: The dog chases the lion.[(triple1)] The dog is young.[(triple2)] The lion sees the dog.[(triple3)] @1: The dog visits the lion.[(((triple1) -> rule5))] @2: The dog visits the dog.[(((((triple1) -> rule5)) -> rule3))] The lion chases the lion.[(((triple3 ((triple1) -> rule5)) -> rule6))] @3: The lion visits the lion.[(((((triple3 ((triple1) -> rule5)) -> rule6)) -> rule5))] @4: The lion visits the dog.[(((((((triple3 ((triple1) -> rule5)) -> rule6)) -> rule5)) -> rule3))]