Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is not round. Erin is smart. If someone is not smart then they are red.
Erin is not red.