6.4.1 默认推理