The mouse is rough. All green, rough things are blue. All rough things are green. If the mouse is blue then the mouse is round.
The mouse does not like the mouse.
@0: The mouse is rough.[(triple1)] @1: The mouse is green.[(((triple1) -> rule2))] @2: The mouse is blue.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The mouse is round.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))]