Charlie is green. Charlie is red. Erin is green. All white, big people are green. Blue, red people are white.
Charlie is not white.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Erin is green.[(triple3)]