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