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