以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）

• A、第一格大前提应全称
• B、第一格小前提应肯定
• C、第二格两个前提应有一个是否定的
• D、第三格小前提应肯定
• E、第三格结论应特称