Charlie is rough. Nice, blue things are rough. If something is nice then it is kind. All kind things are rough. If Charlie is quiet then Charlie is red. All kind, blue things are red. All nice things are blue. All blue, white things are red. If something is quiet then it is kind.
Charlie is not blue.