しかしながら、最後の二つの前提では、特定の式を導けるか見てみるために（まだ証明されていない）仮定もが推論された式の集合の一部として一時的に用いられるという意味で、仮定的な理由づけを用いている。
但是最后一个规则使用了假言（hypothetical）推理，这意味着在规则的前提中，我们可以临时的假定一个（未证明的）假设作为推导出的公式集合的一部分，来查看我们是否能推导出一个特定的其他公式。