Dave is not big. Dave is blue. Dave is nice. All white things are not kind. If something is kind then it is big.
Dave is not green.
@0: Dave is blue.[(triple2)] Dave is nice.[(triple3)] Dave is not big.[(triple1)]