Erin is nice. Gary is furry. Harry is rough. All green, blue people are not rough. Blue, cold people are not green. If Harry is blue and Harry is rough then Harry is cold. If Harry is smart then Harry is furry. If someone is rough then they are blue. If someone is green then they are not nice.
Erin is furry.
@0: Erin is nice.[(triple1)] Gary is furry.[(triple2)] Harry is rough.[(triple3)] @1: Harry is blue.[(((triple3) -> rule5))] @2: Harry is cold.[(((((triple3) -> rule5) triple3) -> rule3))] @3: Harry is not green.[(((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule3)) -> rule2))]