Bob is blue. Bob is not cold. Bob is quiet. Bob is red. Bob is rough. Dave is quiet. Harry is blue. Harry is green. Harry is not kind. Harry is quiet. Harry is red. Harry is not rough. All rough, green people are blue. If Harry is rough and Harry is cold then Harry is not green. If someone is not kind then they are green. Green people are blue. All blue people are not kind. If someone is not green then they are not red. If someone is not green and not kind then they are red. If someone is red and not green then they are quiet.
Harry is not red.