Anne is furry. Anne is kind. Anne is red. Anne is round. Anne is white. Dave is blue. Dave is furry. Dave is kind. Erin is furry. Erin is red. If Dave is green then Dave is white. Furry people are red. If Dave is white then Dave is red. Red people are round. Kind, green people are round. If Erin is kind and Erin is green then Erin is white. All blue, red people are round. If someone is furry and white then they are kind.
Erin is not white.