The bear needs the tiger. The cat likes the bear. The dog sees the tiger. The tiger needs the bear. If someone needs the tiger then the tiger likes the bear.
The dog does not see the cat.
@0: The bear needs the tiger.[(triple1)] The cat likes the bear.[(triple2)] The dog sees the tiger.[(triple3)] The tiger needs the bear.[(triple4)] @1: The tiger likes the bear.[(((triple1) -> rule1))]