(完整版)应用归结原理例-2014