Anne is green. Anne is kind. Anne is not smart. Anne is young. Charlie is blue. Charlie is green. Charlie is smart. Gary is blue. Gary is cold. Gary is kind. Gary is smart. Harry is cold. If Harry is young and Harry is green then Harry is not cold. Green, blue people are smart. If someone is not blue then they are round. All blue people are smart. If Gary is not kind and Gary is not green then Gary is round. If someone is not smart then they are round.
Gary is not smart.