Anne is furry. Anne is smart. Anne is white. Bob is red. Bob is white. Charlie is red. Harry is white. All cold people are big. If someone is furry then they are young. All red people are cold. Smart, white people are cold. Smart people are young. All white, young people are smart. If Bob is smart and Bob is cold then Bob is white. All white, big people are furry.
Charlie is not cold.