Charlie is furry. Charlie is not young. Dave is red. Erin is nice. Erin is rough. Harry is cold. Harry is young. If someone is red and young then they are smart. Nice people are smart. If Charlie is not furry then Charlie is cold. If Dave is red and Dave is rough then Dave is cold. If someone is smart and not young then they are nice. If someone is smart and not cold then they are red.
Dave is cold.