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