The bear sees the tiger. The cat sees the bear. The tiger likes the cat. If something likes the cat then it needs the tiger.
The tiger needs the tiger.
@0: The bear sees the tiger.[(triple1)] The cat sees the bear.[(triple2)] The tiger likes the cat.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule1))]