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 is not blue.
@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))]