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