Erin is blue. Gary is blue. Harry is round. Round things are kind. If Harry is blue and Harry is round then Harry is kind. If something is furry and nice then it is smart. If Harry is blue then Harry is nice. All kind things are green. All green things are nice.
Harry is not nice.
@0: Erin is blue.[(triple1)] Gary is blue.[(triple2)] Harry is round.[(triple3)] @1: Harry is kind.[(((triple3) -> rule1))] @2: Harry is green.[(((((triple3) -> rule1)) -> rule5))] @3: Harry is nice.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]