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