Anne is green. Anne is red. Charlie is blue. Charlie is green. Charlie is red. Gary is rough. Gary is young. Cold, red people are rough.
Anne is not red.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Gary is rough.[(triple6)] Gary is young.[(triple7)]