Anne is big. Anne is furry. Anne is green. Anne is nice. Fiona is big. Fiona is red. Gary is big. Gary is green. Gary is nice. Gary is white. If Gary is kind then Gary is red.
Gary is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Fiona is big.[(triple5)] Fiona is red.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)]