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