Charlie is round. Erin is young. Gary is nice. Gary is smart. Harry is big. Harry is cold. Harry is nice. All big things are green. If something is green then it is smart. If Gary is green and Gary is cold then Gary is nice. Round, nice things are smart. All green, big things are round. If something is smart and young then it is round.
Harry is not green.