Charlie is not blue. Rough, blue people are not cold. All white people are nice. If someone is white and not blue then they are rough. Round, nice people are red. All round people are red. If Charlie is red and Charlie is not cold then Charlie is nice. If Charlie is red then Charlie is nice. If Charlie is round and Charlie is not blue then Charlie is not nice.
Charlie is white.
@0: Charlie is not blue.[(triple1)]