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