Anne is not blue. Anne is smart. Dave is blue. Dave is not green. Dave is not quiet. Dave is not smart. Dave is white. Gary is blue. Gary is green. Gary is rough. Gary is smart. Gary is white. All quiet, rough people are nice.
Anne is white.
@0: Anne is not blue.[(triple1)] Anne is smart.[(triple2)] Dave is blue.[(triple3)] Dave is not green.[(triple4)] Dave is not quiet.[(triple5)] Dave is not smart.[(triple6)] Dave is white.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)]