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.
Harry is white.
@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))]