Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is white. If someone is not smart then they are cold. All rough, red people are white. Smart people are white. If someone is not smart then they are kind. If someone is red and not smart then they are quiet. If Bob is cold then Bob is white. If someone is not rough then they are kind. If someone is not white then they are cold.
Bob is not smart.