The dog chases the mouse. The mouse eats the dog. The tiger eats the mouse. If something is cold then it eats the dog. If something chases the mouse then it is young. If something chases the tiger and it needs the tiger then the tiger eats the mouse. If something is nice and it chases the tiger then it needs the dog. If something eats the mouse and the mouse chases the tiger then the mouse is nice. If something eats the tiger and it is red then it eats the dog.
The tiger needs the mouse.
@0: The dog chases the mouse.[(triple1)] The mouse eats the dog.[(triple2)] The tiger eats the mouse.[(triple3)] @1: The dog is young.[(((triple1) -> rule2))]