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