Harry is blue. Harry is cold. Harry is young. If something is furry and not nice then it is rough. If something is rough then it is green. If something is furry then it is green. If Harry is not nice then Harry is furry. Blue, young things are furry. If something is blue and not green then it is cold.
Harry is green.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is young.[(triple3)] @1: Harry is furry.[(((triple1 triple3) -> rule5))] @2: Harry is green.[(((((triple1 triple3) -> rule5)) -> rule3))]