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 bear does not need 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))]