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