Charlie is big. Charlie is not nice. Erin is furry. If something is cold then it is not green. If Erin is nice then Erin is green. If something is rough and not nice then it is furry. All rough, green things are big. If something is green then it is smart. If Erin is nice then Erin is smart. If something is furry and not big then it is not green. If something is not green then it is not nice.
Erin is not big.