子句 实验 归结 基本 原理