Dave is not big. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is white. Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is not smart. If someone is furry and big then they are not red. If someone is white then they are smart. If someone is red and not kind then they are not smart.
Erin is not furry.