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 does not eat the mouse.
@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))]