“任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。此推理的逻辑形式是（）.

• A、所有M不是P，S是M，所以S不是P
• B、所有M不是P，有些S是M，所以有些S不是P
• C、有些M不是P，有些S是M，所以S不是P
• D、M是P，S不是M，所以S不是P