9-5 通过贝叶斯推理推导出矛盾