Gary is quiet. Harry is furry. Green people are rough. Green, rough people are quiet. If Gary is cold then Gary is big. Furry people are green. If someone is quiet and big then they are rough. If Harry is big then Harry is cold.
Harry is not cold.
@0: Gary is quiet.[(triple1)] Harry is furry.[(triple2)] @1: Harry is green.[(((triple2) -> rule4))] @2: Harry is rough.[(((((triple2) -> rule4)) -> rule1))] @3: Harry is quiet.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule1)) -> rule2))]