推理的类型