Anne is not blue. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is red. Charlie is not young. Gary is quiet. Gary is red. Gary is round. Gary is young. If something is red and not green then it is young. Young, big things are blue.
Gary is not blue.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is big.[(triple7)] Charlie is green.[(triple8)] Charlie is not young.[(triple11)] Charlie is quiet.[(triple9)] Charlie is red.[(triple10)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)]