Anne is kind. Erin is big. Erin is green. Gary is smart. Harry is not kind. Harry is nice. Harry is smart. If someone is kind then they are not blue. All kind, nice people are green. If someone is green then they are smart. All quiet, nice people are blue. If someone is not quiet then they are nice. If Erin is not kind then Erin is green. If someone is blue and not nice then they are green. If someone is big and not nice then they are not kind.
Gary is not nice.