Anne is not big. Anne is blue. Anne is quiet. Anne is not red. Anne is white. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Gary is not big. Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is white. If someone is quiet and not white then they are red. If someone is big and not green then they are quiet.
Gary is not quiet.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not red.[(triple4)] Anne is quiet.[(triple3)] Anne is white.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is white.[(triple9)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is not big.[(triple10)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is white.[(triple15)]