Dave is not big. Dave is blue. Dave is not cold. Dave is furry. Dave is green. Dave is not nice. Dave is not white. If something is nice and cold then it is furry. Green, cold things are nice. If Dave is cold then Dave is white.
Dave is not blue.
@0: Dave is blue.[(triple2)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is not big.[(triple1)] Dave is not cold.[(triple3)] Dave is not nice.[(triple6)] Dave is not white.[(triple7)]