Anne is blue. Gary is young. Harry is big. Big people are cold. If someone is red and blue then they are big. Cold, big people are smart.
Harry is smart.
@0: Anne is blue.[(triple1)] Gary is young.[(triple2)] Harry is big.[(triple3)] @1: Harry is cold.[(((triple3) -> rule1))] @2: Harry is smart.[(((((triple3) -> rule1) triple3) -> rule3))]