Dave is cold. Dave is green. Dave is not quiet. Dave is rough. Dave is round. Dave is smart. Dave is young. If something is smart and not cold then it is quiet.
Dave is not rough.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]