Bob is cold. Dave is cold. Gary is cold. Gary is smart. Harry is furry. Harry is green. Harry is smart. Furry people are red. All kind people are cold. If Dave is smart then Dave is red. Nice people are smart. If someone is cold then they are red. If someone is furry then they are smart.
Harry is not furry.