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