Anne is cold. Anne is quiet. Gary is green. Gary is round. Harry is green. Harry is quiet. Harry is round. Quiet, big things are furry. Quiet things are cold. All green, cold things are big.
Harry is big.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Gary is green.[(triple3)] Gary is round.[(triple4)] Harry is green.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is cold.[(((triple6) -> rule2))] @2: Harry is big.[(((triple5 ((triple6) -> rule2)) -> rule3))] @3: Harry is furry.[(((triple6 ((triple5 ((triple6) -> rule2)) -> rule3)) -> rule1))]