Dave is not big. Dave is not blue. Dave is cold. Dave is green. Dave is kind. Dave is not quiet. Dave is smart. All smart, blue things are big.
Dave is not blue.
@0: Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is not big.[(triple1)] Dave is not blue.[(triple2)] Dave is not quiet.[(triple6)] Dave is smart.[(triple7)]