Bob is not smart. Gary is smart. All red people are blue. If Gary is furry and Gary is red then Gary is not nice. If someone is white and not furry then they are nice. If someone is nice and smart then they are not blue. If Bob is smart then Bob is white. All white, furry people are round. If someone is not furry then they are white. If someone is blue and not white then they are red.
Gary is not red.