SOP→-SIP，该推理可以由变形推理得出。

A.正确

B.错误

正确答案：B