Harry is furry. Harry is kind. Harry is young. All young, cold people are kind. Young people are nice. If Harry is nice and Harry is kind then Harry is green.
Harry is cold.
@0: Harry is furry.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is nice.[(((triple3) -> rule2))] @2: Harry is green.[(((((triple3) -> rule2) triple2) -> rule3))]