Dave is green. Dave is round. Gary is blue. All kind people are big. If Gary is not white then Gary is not round.
Dave is not round.
@0: Dave is green.[(triple1)] Dave is round.[(triple2)] Gary is blue.[(triple3)]