... />
This is not what "Bob is tall" is saying. Your conditional sentence ... , but "Bob is tall" is not a logical truth, and thus is not valid. Soundness ... → smart)". But this is a universal sentence, which is different from existential sentences ...