Charlie is cold. Charlie is smart. Charlie is white. If someone is round and not white then they are red. If someone is blue then they are not white. If someone is red and not blue then they are not smart.
Charlie is not red.