双重否定为肯定，之后看剩下的部分就可以了
有的命题形式是不可满足的

并非所有的命题形式都不是不可满足的→非（所有都不）
属于E的逆否（就是对当四方图里E的对角），即是I
可以转化为:有些（量项）命题形式（主项） 是（谓项）不可满足的（命题形式）

接下来是可以忽略掉的补充：
1、你不能通过“有些命题形式是不可满足的”-I进而必然推出“有些命题形式是可满足的”-O和A为真，但对应的E形式一定为假
（知识点link在“对当关系-下反对关系...”）

2、（不可满足只是一个带有否定词的形容词，不要被影响，可以替换为字母减少他的干扰，就能很快看出他是属于A/E/I/O的哪一个：
       并非有些S是P-不一定是S/P，我个人比较喜欢用A/B），不必拘泥与其主项谓项的内容，主要关注其形式，就能灭掉逻辑考题里面形式逻辑的大部分题目。

3、"非（A/E/I/O）"这种题型在现在的有些MPACC/MBA/MPA逻辑辅导教材中，作为对当关系知识点的补充，列为“对当关系的否定”，比如：部分内容节选如图，内容摘自2019老吕逻辑精编（只是作为一个例子 ）