Согласно вашему определению "некоторые", курящих может быть 1 или 2 или 3. Четверо уже перебор.

Уважаемый Логик.
1- Мы с вами говорим о формальной логике и делаем это на русском языке.
2- В любом языке есть термины, которые имеют несколько значений и в каждом конкретном случае значение термина зависит от контекста. Это не означает другой язык.
3- В русскоязычных текстах посвящённых формальной логике (например, в этом логическом тесте) термин "некоторые" имеет значение "часть или все". Об этом ясно указывается в учебниках логики. Например4- Следовательно, мнение Ефремовой "некоторые значит не все", вообще говоря, ошибочно.
5- Мнение, что "некоторые значит меньшая часть", я никогда не слышал. Также удивительно, если логик не имеет представления о стандартной форме выражения суждений.

Ну, ещё я могу сделать вывод, что некоторые журналисты иногда лгут. Так лучше?
Я соглашусь с вами, что это занятный пример. Казалось-бы, речь про бздыша болотного, однако единственный правильный вывод касается не его, а журналистов. Но хороший пример, в том смысле, что показывает сущность логического вывода. В формальной логике вывод делается из утверждений описывающих отношения между множествами безотносительно содержания этих множеств. Собственно, поэтому логика и называется формальной. Весь тест состоит из "бздышей" и "мухропендий" и вы делаете выводы про них понятия не имея, что это такое.
Жжот вывод, что журналисты лгут, потому что они соврали? И мне интересно, но не так уж удивительно. Математики любят и парадоксы и простые истины. Всем интуитивно очевидно, что всякое утверждение является следствием самого себя. (А может не так уж очевидно? Вот вы удивились. Но если поставить такой вопрос: является ли утверждение следствием самого себя?, то, поразмыслив, придётся ответить утвердительно. И, тогда, придти к выводу, что ответ "с" верен.). Да, так вот, когда это интуитивно очевидное сформулировано, у хорошего математика возникает вопрос: А всегда ли? И появляется идея создать логико-аксиоматическую систему, в которой утверждение не может быть следствием самого себя. Впрочем, я это чисто умозрительно и никогда таких логик не создавал. А для теста такие идеи и вовсе не нужны. Для теста нужна, как вы выразились "человеческая логика".

Да, я не вижу разницы.

Ещё про словоупотребления в этой области. Раньше для обозначения отношений между множествами использовали слова И, ИЛИ, ЛИБО... Например выражения "А ИЛИ В", а другое отношение "А ЛИБО В". Использовалось слово "либо", которое было совершенно ясно в этой области. А сейчас "ЛИБО" не пишут, а постоянно используют "Исключающее ИЛИ". Не знаю почему, возможно влияние норм технического английского. Стараются переводить буквально и забыли наше "ЛИБО".