Erin is rough. Harry is green. Harry is red. Furry, round things are quiet. If something is green then it is furry. If Harry is furry then Harry is round.
Harry is not green.
@0: Erin is rough.[(triple1)] Harry is green.[(triple2)] Harry is red.[(triple3)] @1: Harry is furry.[(((triple2) -> rule2))] @2: Harry is round.[(((((triple2) -> rule2)) -> rule3))] @3: Harry is quiet.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule1))]