苏格拉底追问 深入拆解 生成假设 迭代公式 帕累托筛选