Посылки:1) Все шутки есть шутки придуманные, чтобы смешить2) Ни один парламентский акт не есть шуткаЛ.Кэрролл предлагает 3 вида:Все XYНекоторые ХYНи один X не YПервые 2 предполагают существование3 этого не делаетВ переводе бывают вопросы к формулировкам(кривые переводы), поэтому для проверки 3 правил вывода приводим к стандартным.Вывод для указанных посылок верный.Некоторые из списка посылок тяжело привести к форме, с которой работает игра Л.К - тогда их можно просто пока не брать во внимание.
Л.Кэрролл предлагает 3 вида:Все XYНекоторые ХYНи один X не YПервые 2 предполагают существование3 этого не делаетА, ну понятно. Типа по определению/по условию так.А в оригинале что, "some XY"?