Dave is blue. Gary is big. Harry is white. Cold, big things are blue. All green, blue things are red. If something is big then it is cold.
Dave is not blue.
@0: Dave is blue.[(triple1)] Gary is big.[(triple2)] Harry is white.[(triple3)] @1: Gary is cold.[(((triple2) -> rule3))] @2: Gary is blue.[(((((triple2) -> rule3) triple2) -> rule1))]