Dave is blue. Dave is red. Dave is not rough. Dave is round. Dave is not smart. Dave is white. Dave is young. Smart, round things are rough. All smart, white things are young.
Dave is not white.
@0: Dave is blue.[(triple1)] Dave is not rough.[(triple3)] Dave is not smart.[(triple5)] Dave is red.[(triple2)] Dave is round.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)]