Gary is red. Harry is not cold. Harry is round. Young, smart things are green. If something is red then it is big. If something is red and round then it is big. If Gary is big then Gary is smart. If Gary is smart then Gary is young. If something is smart and not cold then it is not young.
Harry is green.
@0: Gary is red.[(triple1)] Harry is not cold.[(triple2)] Harry is round.[(triple3)] @1: Gary is big.[(((triple1) -> rule2))] @2: Gary is smart.[(((((triple1) -> rule2)) -> rule4))] @3: Gary is young.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))] @4: Gary is green.[(((((((((triple1) -> rule2)) -> rule4)) -> rule5) ((((triple1) -> rule2)) -> rule4)) -> rule1))]