某地女村民肖×在上山砍柴时被害，经现场勘查后发现，肖×尸体被拦腰砍断，下半身下落不明，现场有拖擦痕迹。警方据此对本案性质作了如下推论：肖×被害的原因只有几种可能，即仇杀、财杀、强奸杀人、自杀或意外事故致死。如果是自杀或意外事故致死，则其尸体就不会被拦腰砍断而下落不明；如果是仇杀，则肖×生前必定与人结有仇怨关系；然而调查证明，肖×从未与人结过仇怨关系；如果是财杀，则肖×必定有引人注目的财物，然而肖×是上山砍柴时遇害的，身上未带分文，也未穿值钱的衣物。因此，肖×只能是被人强奸后杀害的。本案侦破过程中，警方运用了（）。

A.充分条件假言推理否定前件式
B.充分条件假言推理否定后件式
C.选言推理否定肯定式
D.选言推理肯定否定式