Anne is big. Anne is blue. Anne is cold. Anne is quiet. Anne is red. Anne is rough. Anne is white. Gary is big. Gary is not blue. Gary is cold. Gary is quiet. Gary is red. If something is cold and not red then it is not white.
Gary is not white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple10)] Gary is not blue.[(triple9)] Gary is quiet.[(triple11)] Gary is red.[(triple12)]