评分规则前提和结论的谓词公式表示为（分）前提谓词公式和结论否定的谓词公式化为子句集（分））))))归结过程如下：（分）)和)归结得）)和)归结得))和)归结得))和)归结得NIL，即证