逻辑推理(列表法和矛盾法)-有答案