The cat likes the tiger. The mouse chases the tiger. The tiger chases the mouse. If something eats the mouse then it is red. If something chases the mouse then the mouse eats the tiger.
The mouse chases the tiger.
@0: The cat likes the tiger.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger chases the mouse.[(triple3)] @1: The mouse eats the tiger.[(((triple3) -> rule2))]