3.3.3 归结反演