用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
参考答案：删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
果蔬加工过程中，引起褐变的原因是什么？
苍术有燥湿健脾、 ① 、发汗、 ② 作用。
