The dog likes the tiger. The rabbit eats the dog. The tiger is blue. If someone is blue then they need the tiger. If someone eats the rabbit then the rabbit needs the dog.
The rabbit does not eat the dog.
@0: The dog likes the tiger.[(triple1)] The rabbit eats the dog.[(triple2)] The tiger is blue.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule1))]