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