Bob is not smart. Charlie is smart. Erin is not kind. If something is kind and blue then it is rough. All blue, furry things are not rough. If Erin is not furry then Erin is green. All green things are smart. All cold things are not kind. Green things are not furry. Smart things are blue. All cold things are not kind.
Erin is not furry.