Anne is not big. Anne is cold. Anne is furry. Anne is not nice. Anne is red. Anne is not smart. Anne is not young. If Anne is not red then Anne is not furry. All big people are cold. All furry, big people are not cold. If someone is smart and not red then they are furry. If someone is nice then they are not smart. If someone is cold and not red then they are smart. All smart people are nice. If someone is young then they are big.
Anne is red.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not nice.[(triple4)] Anne is not smart.[(triple6)] Anne is not young.[(triple7)] Anne is red.[(triple5)]