Anne is not big. Anne is cold. Anne is furry. Furry, green things are cold. Smart things are green. All green things are cold. If Anne is smart and Anne is not red then Anne is cold. If something is furry and not big then it is young. If something is furry and not red then it is cold. If something is not furry then it is green. If something is not smart then it is young.
Anne is red.