Dave is not nice. Gary is nice. Harry is cold. If Dave is not furry and Dave is not cold then Dave is smart. Cold, smart people are not white. White people are red. If someone is white then they are nice. If someone is nice and not smart then they are red. If someone is not smart then they are red.
Harry is not red.