运用对当关系推理，可以推出并非SOP的是（）。