Alan is big. Alan is high. Dave is thin. Dave is short. Charlie is nice. Erin is bad. Erin is sad. If someone is not huge then they are bad. If someone is not poor then they are kind. If someone is nice then they are quiet. If someone is quiet and not dull then they are wealthy. If someone is bad and not huge then they are rough. If someone is thin and short then they are dull. If someone is dull and not quiet then they are sad. All kind people are smart. 
Erin is smart.