Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Erin is red. Erin is round. Gary is red. Gary is round. Gary is smart. Harry is green. Harry is round. Harry is smart. Young things are green. If Gary is red and Gary is round then Gary is young. If Harry is round and Harry is green then Harry is blue.
Charlie is not green.