Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is smart. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is smart. All green, furry things are cold.
Erin is not smart.