Все люди смертны. Собака не человек. Собака бессмертна

Большая посылка:
А: Все люди (М+) смертны (Р-).
Меньшая посылка:
Е: Собака (S+) не человек (М+).
Заключение:
Е: Собака (S+) не смертна (Р+).
Силлогизм построен по первой (1) фигуре, модус – АЕЕ, неправильный для первой фигуры.
Проверка правил терминов: 1 . В ПКС должно быть только три термина. – Правило выполнено. 2. Средний термин должен быть распределен хотя бы в одной из посылок. – Правило выполнено. 3. Термин, не распределенный в посылке, не может быть распределен в заключении. – Правило нарушено