4.2.2 归结原理