Anne is blue. Anne is green. Anne is quiet. Anne is red. Anne is not smart. Anne is young. Charlie is not blue. Charlie is green. Charlie is not quiet. Charlie is smart. Charlie is white. Charlie is young. Gary is quiet. Gary is young. Harry is quiet. Quiet, smart things are not white.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not smart.[(triple5)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is young.[(triple6)] Charlie is green.[(triple8)] Charlie is not blue.[(triple7)] Charlie is not quiet.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Charlie is young.[(triple12)] Gary is quiet.[(triple13)] Gary is young.[(triple14)] Harry is quiet.[(triple15)]