Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. All furry people are red. If Erin is nice then Erin is furry. All smart, green people are furry.
Erin is not green.