Dave is cold. Dave is nice. Dave is not quiet. Dave is red. Dave is not rough. Dave is smart. Dave is young. If someone is cold and not young then they are not smart.
Dave is not young.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not rough.[(triple5)] Dave is red.[(triple4)] Dave is smart.[(triple6)] Dave is young.[(triple7)]