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