Anne is green. Bob is smart. Gary is green. If someone is smart and not red then they are big. If Bob is furry then Bob is not big. All nice people are big. If someone is quiet and not smart then they are furry. If someone is not red then they are quiet. All smart, furry people are green. Quiet, red people are big. If someone is red and not big then they are not quiet.
Gary is red.