Сделайте вывод из посылок и проверьте его правильность

Из данных посылок можно вывести заключение: «следовательно, некоторые идеи не справедливо относят к сокровищам». Переставим посылки местами для получения более корректного вывода:
Ни одна идея (Р) не является вещью (М).
Некоторые вещи (М) справедливо относят к сокровищам (S).
Некоторые сокровища не являются идеями.
Схема:
Ни одно Р+ не есть М+ (Е)
Некоторые М- есть S- (I)
Некоторые S+ не есть Р- (О)
Данный модус – Fresison – является правильным модусом 4-й фигуры силлогизма, следовательно, умозаключение является правильным, а заключение, полученное в результате рассуждения – достоверным.
Проверим через общие правила ПКС:
Проверка правил терминов:1