Bob is green. Bob is nice. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Dave is furry. Dave is red. Dave is rough. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. If Charlie is cold and Charlie is green then Charlie is rough. All white, rough people are furry. If someone is red then they are nice. All cold people are furry. All furry, cold people are rough. All red, cold people are rough. All red people are furry. All white, nice people are cold.
Harry is not white.