... />
It's been translated into a conditional statement. It's valid, but ... arguments, not sentences (there's also another type of ... />
There is a conditional in this sentence. "All ... → smart)". But this is a universal sentence, which is different ...