Anne is furry. Erin is young. All red, cold things are white. All smart things are red. Green, white things are red. All young things are smart. If something is furry then it is green. If something is cold and red then it is young. All furry, young things are smart. If something is green then it is cold.
Anne is not white.