Произвести противопоставление субъекту в следующем суждении: Курить запрещено

Субъект суждения – «курить», предикат – «запрещено».
Данное суждение типа А, общеутвердительное: Все S есть Р.
Схема противопоставления субъекту А:
А: Все S есть Р.
О: Некоторые Р не есть не-S.
Курить (S) запрещено (Р).
Некоторое из того, что запрещено (Р), не есть не «курить» (не-S).
Проверка (обращение с превращением):
Обращение исходного:
А: Курить (S) запрещено (Р).
I: Некоторое из того, что запрещено (Р), является курением (S).
Превращение полученного:
I: Некоторое из того, что запрещено (Р), является курением (S)