The bear chases the tiger. The dog sees the tiger. The rabbit needs the tiger. The tiger chases the rabbit. If the rabbit needs the tiger then the rabbit needs the dog.
The bear needs the tiger.
@0: The bear chases the tiger.[(triple1)] The dog sees the tiger.[(triple2)] The rabbit needs the tiger.[(triple3)] The tiger chases the rabbit.[(triple4)] @1: The rabbit needs the dog.[(((triple3) -> rule1))]