下列推理中，根据对当关系中的反对关系然而进行的有效形式是（）。

A.SAP→SEP

B.SAP→SEP

C.SEP→SAP

D.SEP→SAP

E.SAP→SOP