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