Определить верно ли логически приведенное рассуждение

Данное рассуждение логически верно.
Обоснование:
Данное рассуждение по своей логической форме представляет собой простой категорический силлогизм.
Общепринятая запись простого категорического силлогизма:
Ни один слон не служит в армии.
Все люди – слоны.
Никто из людей не служит в армии
Определим термины силлогизма: субъект (S) – «люди», предикат (Р) – «служит в армии», средний термин (М) – «слон».
Определим тип суждений, которые входят в состав силлогизма, и распределенность терминов.
Ни один слон (М+) не служит в армии (Р+). суждение Е
Все люди (S+) – слоны (М -) . суждение А
Никто из людей (S+) не служит в армии (Р+)суждение Е
Схема силлогизма:
М 2228851193800022288511684000 Р
S 22288513779500М
2228859969500S Р
По взаимному расположению терминов видим, что данный силлогизм является силлогизмом 1-ой фигуры. По типу входящих в силлогизм суждений определяем модус – ЕАЕ. Это правильный модус 1-ой фигуры.
Проверим корректность силлогизма методом построения диаграмм Эйлера.
520065194945М
Р
00М
Р
БП:
134302540640S
М
00S
М
МП:
809625293370S
М
Р
 
 
 
 
 
00S
М
Р
Общая схема:
На основании имеющихся посылок можно построить только одну общую схему силлогизма, что указывает на то, что вывод однозначно следует из посылок.
Проверим корректность силлогизма методом соответствия правилам для корректных силлогизмов.
Правила терминов: Первое правило соблюдено термина три