Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is young. If something is cold and green then it is young. Green, cold things are red. If something is young and not rough then it is not red. If Erin is not furry then Erin is young. If something is cold and not green then it is not smart. If something is smart and furry then it is red. All furry things are young. If Erin is furry and Erin is green then Erin is red.
Erin is smart.