Anne is strong. Anne is huge. Bob is thin. Bob is small. Gary is wealthy. Dave is rough. Dave is bad. If someone is not high then they are rough. If someone is not sad 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 rough and not high then they are dull. If someone is thin and small then they are poor. If someone is poor and not quiet then they are bad. All kind people are smart. 
Dave is smart.