Anne is nice. Anne is rough. Anne is white. Bob is cold. Bob is nice. Gary is cold. Gary is red. Harry is nice. Harry is red. Harry is round. Nice, blue people are white. If Bob is rough and Bob is nice then Bob is round. If someone is round and cold then they are white. If someone is red then they are rough. If someone is blue and not cold then they are nice. All nice people are red. If someone is white and red then they are blue. If someone is not blue then they are red.
Harry is cold.