Dave is furry. Erin is cold. Erin is quiet. If someone is quiet then they are white. If Dave is quiet then Dave is smart. All red people are furry. If Dave is nice and Dave is cold then Dave is furry. White people are red. If Erin is smart and Erin is white then Erin is furry.
Dave is smart.