The mouse is red. If the mouse is red then the mouse is young. If the mouse is young then the mouse is cold. If someone is young and cold then they are nice.
The mouse is red.
@0: The mouse is red.[(triple1)] @1: The mouse is young.[(((triple1) -> rule1))] @2: The mouse is cold.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse is nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule3))]