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