Dave is big. Dave is blue. Dave is not cold. Dave is furry. Dave is not kind. Dave is not red. Dave is not smart. If Dave is red then Dave is big.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple4)] Dave is not cold.[(triple3)] Dave is not kind.[(triple5)] Dave is not red.[(triple6)] Dave is not smart.[(triple7)]