Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. All smart, kind things are green. Green, furry things are smart. If Charlie is red and Charlie is nice then Charlie is smart. If something is green and smart then it is cold. Nice things are green. All nice, furry things are cold.
Charlie is not green.