The mouse is kind. Kind things are nice. If the mouse is young then the mouse is blue. Nice things are young.
The mouse is nice.
@0: The mouse is kind.[(triple1)] @1: The mouse is nice.[(((triple1) -> rule1))] @2: The mouse is young.[(((((triple1) -> rule1)) -> rule3))] @3: The mouse is blue.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]