The dog needs the tiger. The mouse eats the tiger. The tiger eats the dog. If someone is big and red then they need the dog. If someone needs the tiger then the tiger needs the dog.
The tiger is blue.
@0: The dog needs the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The tiger eats the dog.[(triple3)] @1: The tiger needs the dog.[(((triple1) -> rule2))]