下列推理中，根据对当关系的反对关系进行的有效推理形式是A如果SAP，那么并非SEPB如果并非SAP，那么SEPC如果并非SEP，那么SAPD如果SEP，那么并非SAP