The bear sees the mouse. The mouse chases the bear. If something is big then it eats the mouse. If something sees the mouse then it is big.
The mouse is red.
@0: The bear sees the mouse.[(triple1)] The mouse chases the bear.[(triple2)] @1: The bear is big.[(((triple1) -> rule2))] @2: The bear eats the mouse.[(((((triple1) -> rule2)) -> rule1))]