Anne is not nice. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is not young. All quiet people are young.
Dave is not red.
@0: Anne is not nice.[(triple1)] Dave is nice.[(triple2)] Dave is not young.[(triple7)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)]