Dave is red. Harry is cold. All red people are cold. If someone is red then they are quiet. Cold people are red. If Harry is green then Harry is cold. If Harry is green then Harry is red. All quiet people are smart.
Harry is not red.