While it is certainly true that every possible Mr. Smith has at least one boy (i.e., the condition is necessary) it is not clear that every Mr. Smith with at least one boy is intended.
Очевидно, що кожен містер Сміт має по одному сину (це необхідна умова), однак не ясно, чи кожен містер Сміт з одним сином буде потрапляти під наш розгляд.