Anne is not big. Anne is blue. Anne is not furry. Anne is green. Anne is red. Anne is smart. Anne is young. Big, red things are not green. If Anne is blue and Anne is not furry then Anne is young. If something is smart then it is blue. If something is furry then it is green. If something is red and not smart then it is blue. If Anne is red and Anne is young then Anne is green. If something is not green then it is big. If something is furry and not big then it is not green.
Anne is not furry.