Anne is red. Anne is rough. Anne is white. Charlie is blue. Dave is red. Dave is white. Gary is white. Big things are not red.
Dave is not white.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Gary is white.[(triple7)]