The cow chases the tiger. The cow visits the tiger. The tiger visits the cow. If the tiger visits the cow then the cow likes the tiger. If something chases the cow and it is blue then it visits the tiger. If something chases the tiger then the tiger chases the cow.
The cow visits the cow.
@0: The cow chases the tiger.[(triple1)] The cow visits the tiger.[(triple2)] The tiger visits the cow.[(triple3)] @1: The cow likes the tiger.[(((triple3) -> rule1))] The tiger chases the cow.[(((triple1) -> rule3))]