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