Charlie is nice. Charlie is red. Erin is green. Erin is not nice. Erin is round. Erin is young. Harry is smart. Blue things are red. If something is not red then it is young. If something is not red then it is round. If something is not round then it is smart. If Charlie is green and Charlie is not round then Charlie is not blue. If something is nice and not smart then it is blue. If Erin is red and Erin is not blue then Erin is not young. If Charlie is not blue then Charlie is not young.
Charlie is green.