Charlie is cold. Charlie is green. Charlie is kind. Harry is blue. Harry is furry. Harry is green. Harry is nice. All smart things are furry. If Charlie is furry and Charlie is smart then Charlie is green. Cold things are smart. Furry things are blue. Kind things are smart. All nice things are blue. Blue, furry things are nice. If Charlie is blue then Charlie is nice.
Charlie is not smart.