Bob is blue. Charlie is rough. Dave is not smart. Fiona is white. All blue things are smart. White things are cold. If something is not blue then it is white. If Dave is smart and Dave is cold then Dave is white. If Dave is not white then Dave is red. If something is red and not smart then it is cold.
Charlie is red.