Bob is blue. Bob is not cold. Bob is furry. Bob is red. Bob is round. Bob is smart. Charlie is not blue. Charlie is round. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is smart. All red, blue things are furry. All smart, furry things are green. All furry things are green. If Charlie is round then Charlie is not blue. All green, furry things are round. If something is not furry then it is green. If Charlie is green and Charlie is not furry then Charlie is red. If something is cold and not red then it is not round.
Bob is not green.