Рассуждение:а) средние термины различны значит термины (Х и Y) сохраняют и знаки, и сущности Формальной записи.б) В формальной записи термины отрицательные и нулевые, значит вывод ОТРИЦАТЕЛЬНОЕ суждениеВывод: Ни один не ходящий на ногах не есть не ходящий на рукахНо, вывод: Ни один не ходящий на ногах не есть не ходящий на руках, - является "ложным".Ибо в заявленных исходных свойствах у нас есть только два свойства: ходить на ногах vs ходить на руках.А вывод указывает на существование некоего третьего не названного свойства: например, это "ходить на голове.Ибо, ни один не ходящий на ногах = ходящие на руках.
Вывод: Ни один не ходящий на ногах не есть не ходящий на рукахПо другому - это утверждается правило:Нет людей одновременно - не ходящих на ногах И не ходящих на руках