Charlie is cold. Charlie is not green. Erin is not furry. All cold people are not green. Rough people are not big. If Erin is rough and Erin is smart then Erin is furry. If someone is furry and not big then they are not cold. If someone is not rough then they are cold. If someone is not rough then they are quiet.
Erin is smart.