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