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