The dog needs the tiger. The lion eats the rabbit. The rabbit visits the dog. The tiger eats the dog. If something eats the dog then it needs the dog.
The rabbit visits the dog.
@0: The dog needs the tiger.[(triple1)] The lion eats the rabbit.[(triple2)] The rabbit visits the dog.[(triple3)] The tiger eats the dog.[(triple4)] @1: The tiger needs the dog.[(((triple4) -> rule1))]