Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is white. Gary is big. Gary is cold. Gary is green. Gary is quiet. Gary is red. If someone is cold then they are red.
Dave is not blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple7) -> rule1))] @1: Dave is red.[(((triple3) -> rule1))]