Dave is blue. Dave is red. Gary is cold. Gary is kind. Gary is smart. Harry is blue. Harry is smart. If something is cold and smart then it is blue. All kind things are red.
Gary is big.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Gary is cold.[(triple3)] Gary is kind.[(triple4)] Gary is smart.[(triple5)] Harry is blue.[(triple6)] Harry is smart.[(triple7)] @1: Gary is blue.[(((triple3 triple5) -> rule1))] Gary is red.[(((triple4) -> rule2))]