The bear needs the tiger. The cat visits the tiger. The tiger needs the cat. If the bear chases the tiger then the tiger needs the bear. If someone visits the tiger then the tiger needs the bear.
The bear does not need the tiger.
@0: The bear needs the tiger.[(triple1)] The cat visits the tiger.[(triple2)] The tiger needs the cat.[(triple3)] @1: The tiger needs the bear.[(((triple2) -> rule2))]