Anne is kind. Charlie is green. Charlie is not kind. Charlie is smart. Erin is green. Erin is kind. Erin is nice. Erin is smart. Gary is nice. Gary is round. If Erin is cold then Erin is not young. All young, smart things are green. All cold, young things are green. All round, green things are cold. Smart, round things are young. If Erin is kind then Erin is green. Nice things are smart. If something is cold then it is kind. If something is not smart then it is green.
Gary is smart.