The mouse eats the tiger. The mouse is cold. The tiger does not see the mouse. If someone eats the mouse then they see the mouse. If someone is cold then they eat the mouse. If someone sees the mouse and they are cold then the mouse chases the tiger.
The tiger sees the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is cold.[(triple2)] The tiger does not see the mouse.[(triple3)] @1: The mouse eats the mouse.[(((triple2) -> rule2))] @2: The mouse sees the mouse.[(((((triple2) -> rule2)) -> rule1))] @3: The mouse chases the tiger.[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]