Dave is not big. Dave is not blue. Dave is quiet. Dave is round. Dave is smart. Dave is not white. Dave is not young. If someone is white and big then they are not smart.
Dave is not white.
@0: Dave is not big.[(triple1)] Dave is not blue.[(triple2)] Dave is not white.[(triple6)] Dave is not young.[(triple7)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)]