Anne is not blue. Anne is not green. Anne is rough. Anne is round. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Harry is blue. Harry is green. Harry is nice. Harry is not round. If something is young and not round then it is not nice. If something is blue and not rough then it is green. If Charlie is green then Charlie is white.
Charlie is not white.
@0: Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is not round.[(triple12)]