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