Anne is cold. Anne is not furry. Anne is green. Charlie is furry. Charlie is red. Charlie is smart. Erin is blue. Erin is not cold. Erin is not furry. Erin is young. If Anne is young and Anne is furry then Anne is green. If something is furry then it is cold. If something is cold and red then it is green. Green, furry things are smart. If something is green and smart then it is young. If something is blue and furry then it is cold. If something is not cold then it is not smart. If something is red and not young then it is not smart.
Erin is not smart.