Dave is cold. Dave is furry. Dave is green. Dave is not nice. Dave is round. Dave is white. Dave is young. If someone is nice and not white then they are green.
Dave is not white.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not nice.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]