The mouse is green. The mouse is nice. The mouse is rough. If the mouse is rough then the mouse is kind. Kind people are red.
The mouse is rough.
@0: The mouse is green.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse is kind.[(((triple3) -> rule1))] @2: The mouse is red.[(((((triple3) -> rule1)) -> rule2))]