Bob is not smart. Charlie is cold. If Bob is smart then Bob is not white. If Charlie is not blue and Charlie is not white then Charlie is red. If someone is blue then they are cold. All red, white people are smart. All white people are not red. If Charlie is red and Charlie is not smart then Charlie is not white.
Bob is not red.