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