ステップがAとA→Sへのモーダスポネンスの適用結果であるとき、まずそれら前提がH→AとH→(A→S)に変換できることを示してから、公理2(H→(A→S))→((H→A)→(H→S))を使い、モーダスポネンスを適用して(H→A)→(H→S)を得て、最終的にH→Sを得る。
如果这个步骤是应用肯定前件于A和A→S的结果，我们首先确保它们已经被转换成H→A和H→(A→S)，并接着采用公理2：(H→(A→S))→((H→A)→(H→S))，并应用肯定前件来得到(H→A)→(H→S)，并接着再次应用来得到H→S。