Anne is kind. Bob is rough. Charlie is round. Harry is blue. If someone is round and not cold then they are kind. If Charlie is not cold then Charlie is not red. All cold people are round. Red, blue people are round. If someone is kind and not cold then they are blue. If someone is blue and not cold then they are rough.
Harry is not round.