Dave is red. Dave is rough. Dave is round. All kind people are round. If Dave is white and Dave is big then Dave is rough.
Dave is not rough.
@0: Dave is red.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)]