Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Dave is cold. Dave is kind. Dave is quiet. Dave is not smart. Harry is cold. Harry is quiet. All nice people are quiet. If someone is kind then they are blue. If someone is blue then they are nice. If someone is green and smart then they are cold. If Harry is smart and Harry is blue then Harry is not nice. If someone is not green and not cold then they are kind.
Harry is smart.