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