Привести к классической форме простого категорического силлогизма следующее сложное (молекулярное) суждение

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