Anne is white. Charlie is furry. Erin is furry. Erin is nice. Erin is red. Fiona is furry. Fiona is nice. If someone is green then they are nice. If someone is smart and white then they are red. Red people are green. All kind people are red. If someone is red and white then they are furry. If someone is smart and green then they are furry. All smart people are white. All furry people are smart.
Erin is not green.