Anne is not big. Anne is blue. Anne is furry. Anne is green. Anne is smart. Charlie is not big. Charlie is not blue. Charlie is not furry. Charlie is nice. Charlie is smart. If something is green and not blue then it is not nice.
Anne is blue.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not big.[(triple1)] Anne is smart.[(triple5)] Charlie is nice.[(triple9)] Charlie is not big.[(triple6)] Charlie is not blue.[(triple7)] Charlie is not furry.[(triple8)] Charlie is smart.[(triple10)]