Charlie is kind. All kind people are rough. Red, nice people are rough. If someone is red then they are nice. If someone is cold and nice then they are red. If someone is nice then they are red. Rough people are cold. Rough, blue people are kind. All kind, cold people are blue.
Charlie is not cold.