Dave is not cold. Dave is nice. Dave is not quiet. Dave is rough. Dave is smart. Dave is white. Dave is young. Quiet things are white. If Dave is not smart then Dave is not quiet.
Dave is cold.
@0: Dave is nice.[(triple2)] Dave is not cold.[(triple1)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]