Charlie is green. Dave is green. Erin is round. Gary is blue. White things are round.
Dave is not green.
@0: Charlie is green.[(triple1)] Dave is green.[(triple2)] Erin is round.[(triple3)] Gary is blue.[(triple4)]