Dave is blue. Dave is furry. Dave is smart. Erin is big. Erin is blue. Erin is cold. Erin is young. If someone is big and nice then they are not furry. All smart people are nice. All furry people are not cold. If someone is blue then they are smart. If someone is not nice then they are smart. If someone is cold and not smart then they are blue.
Erin is not furry.