推理的法宝——推理形式