Anne is not furry. Anne is green. Anne is red. Anne is round. Anne is young. Charlie is cold. Charlie is furry. If something is cold and not furry then it is red. If something is cold and not young then it is smart. If something is round and not red then it is green.
Charlie is not cold.
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)]