Dave is cold. Dave is furry. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is furry. Erin is red. Erin is round. Erin is young. White, round things are smart. All red things are round. If something is red then it is young. All cold things are red. If something is young then it is furry. Smart, young things are furry. Red things are white. If Erin is red and Erin is young then Erin is furry.
Erin is not round.