Dave is blue. Dave is not cold. Dave is quiet. Dave is not red. Dave is rough. Dave is not smart. Dave is young. Red things are not quiet.
Dave is not red.
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Dave is not red.[(triple4)] Dave is not smart.[(triple6)] Dave is quiet.[(triple3)] Dave is rough.[(triple5)] Dave is young.[(triple7)]