在形成假说的阶段，主要应用（）推理和（）推理。