嵌套强制链
嵌套强制链在外部假设创建的候选数状态上运行内部推理。内部结果可以扩展外部链，但在外部证明完成之前保持以该外部假设为条件。
什么是嵌套强制链？
嵌套改变证明的深度，而非其真值规则。内部AIC、鱼、子集或强制推理使用从外部分支继承的临时状态。因此其结论不独立于该分支。
如何发现
嵌套强制链向已假设的临时状态添加内部链搜索。手动追踪可能很困难，但难度和产品排名与其有效性是分开的。完整的解释必须显示外部假设、内部链继承的状态、内部结论以及外部证明最终如何解除。
逻辑
如果外部假设A使P的内部证明成为可能，有效陈述是A蕴含P。只有当A后来被证明为真，或每个穷举的外部选择也证明P时，P才成为无条件的。称内部结果为独立的将丢弃必要的前提。