The cow chases the tiger. The dog visits the tiger. The lion needs the dog. The tiger chases the lion. If someone chases the dog then the dog chases the cow. If someone chases the lion then the lion chases the dog.
The dog does not chase the cow.
@0: The cow chases the tiger.[(triple1)] The dog visits the tiger.[(triple2)] The lion needs the dog.[(triple3)] The tiger chases the lion.[(triple4)] @1: The lion chases the dog.[(((triple4) -> rule2))] @2: The dog chases the cow.[(((((triple4) -> rule2)) -> rule1))]