Anne is nice. Gary is blue. Gary is green. Gary is kind. Harry is big. Harry is not furry. Harry is nice. If something is blue and big then it is furry. All green things are big.
Anne is big.
@0: Anne is nice.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4)] Harry is big.[(triple5)] Harry is nice.[(triple7)] Harry is not furry.[(triple6)] @1: Gary is big.[(((triple3) -> rule2))] @2: Gary is furry.[(((triple2 ((triple3) -> rule2)) -> rule1))]