Восстановите энтимему Проверьте правильность полученного силлогизма

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