Пример ↑

bavi 30 ноября 2013, 20:22 в посте Metapractice (оригинал в ЖЖ)

Джон трудолюбив.
Ни один трудолюбивый человек не несчастен

Какой вывод мы можем сделать из этих простых посылок?
1. трудолюбив = трудолюбив
2. 1 трудолюбив крайнее понятие в посылке с квантором - Все
3. Нет квантора "Некоторые" в посылках
4. Вывод = Квантор(Все) + обратный термин второй посылки = Джон счастлив