Bob is blue. Erin is blue. Gary is nice. Harry is smart. If someone is blue then they are furry. If someone is furry then they are nice. If Bob is big then Bob is nice. All nice people are big. If someone is furry then they are smart. If Erin is nice and Erin is not big then Erin is smart.
Erin is not big.