Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is young. If Charlie is blue and Charlie is red then Charlie is young. Red, young people are nice. All nice people are blue. If someone is cold then they are blue. Red, nice people are blue. All young people are red. All cold, young people are nice. If someone is nice then they are cold.
Charlie is not red.