简单的推理机算法实现，输入规则库，和事实库，由普通txt文件模拟两个库，可以由事实在规则中推出结果.推理机不断从规则库中选择可用的规则，每选择到可用的规则，把该规则的后件中不再facts中的所有结论添加到facts中，对facts扩充，由扩充了的facts来选择下一条可用规则对facts再次扩充，直到没有可用的规则可选为止。文件内已包含使用说明书， 说明书.docx -Simple inference algorithm, the input rule base, and the fact th