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