Bob is furry. Charlie is furry. Gary is green. Harry is kind. If something is red and smart then it is green. All furry things are red. Green, nice things are smart. All green, red things are big. Kind things are furry. Green, furry things are red.
Bob is green.