根据给定的知识库，确定给定的陈述是真或错误，仅限于“所有”陈述。该算法将给定的知识库转换为分辨率树，并使用恢复证明，我们决定给定的语句是对还是错误。