用形式逻辑推理获破一起强奸杀人案

一九八四年八月十四日下午,四平市公安局刑警大队接到长发派出所报案:在长发磷肥厂附近辽河堤内的草丛中,发现一具女尸。在现场见死者仰卧在草丛之中,衣裤被扒开,尸体轻度腐败;颈部有条状索沟和掐痕,尸检发现阴道内有精液;尸体东侧有死者的两只塑料凉鞋,西北四、五米处发现一根一、二米长,两头结扣绳索。由于中心现场在深杂草中,又经过发案前夜大雨冲刷,因此破案难度很大。