The cow eats the tiger. The tiger likes the cow. If something likes the tiger then it eats the cow. If something likes the cow then it likes the tiger.
The tiger does not like the tiger.
@0: The cow eats the tiger.[(triple1)] The tiger likes the cow.[(triple2)] @1: The tiger likes the tiger.[(((triple2) -> rule2))] @2: The tiger eats the cow.[(((((triple2) -> rule2)) -> rule1))]