Dave is big. Dave is blue. Dave is not cold. Dave is not red. Dave is rough. Dave is not smart. Gary is red. If something is blue and red then it is not white.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is not cold.[(triple3)] Dave is not red.[(triple4)] Dave is not smart.[(triple6)] Dave is rough.[(triple5)] Gary is red.[(triple7)]