[多选]  消解反演证明定理的思路是，给定一个公式集S（前提条件）和目标公式L（结论），通过反演来求证目标公式L，其证明过程包括()。