如果不可能证明（同样从“证明”这个词最严格的意义上来说）某个理论是正确的，那么是不是至少有可能证明某些理论是不正确的？乍看之下，答案似乎是肯定的。毕竟，不证实推理模式是一种演绎推理，而根据前面提到过的，在一个好的演绎推理过程中，前提条件保证结论。所以，乍看之下，你会认为不证实推理模式可以用于证明某个理论是不正确的。然而，事实是第一印象常会产生误导。
思考下面这个例子，我将用这个例子来说明为什么用不证实推理模式来证明某个理论不正确并不像看起来那么直接明确。只要你参加过某种实验室课程（比如化学或生物），你可能就有过与下面这个例子相似的经历。假设在化学实验室里，教授给了你一烧杯的乙醇，让你找出乙醇的沸点。接下来，假设（当然，在教授看不见的时候）你偷偷瞄了一眼教学参考书，发现乙醇的沸点是78.5摄氏度。现在，你开始做实验，相信实验结果会表明沸点为78.5摄氏度。然而不幸的是，这个样本似乎没有在78.5摄氏度的时候沸腾。这时你怎么办？
看起来，不证实推理模式似乎应该适用于这个例子。前面提到过不证实推理模式的推理公式，根据这个公式，你会进行以下推理：
如果烧杯里的样本是乙醇，那么我应该观察到样本在达到78.5摄氏度时沸腾。
我没有观察到样本在达到78.5摄氏度时沸腾。
所以 烧杯里的样本就不是乙醇。
然而，实际上，这时你是否会得出“教授搞错了”以及“烧杯里面不是乙醇”的结论？很有可能不会。相反，你很有可能会考虑可以解释“为什么实验结果没有显示沸点为78.5摄氏度”的其他因素。比如，很有可能是温度计坏了，或者实验使用的玻璃器皿不够干净，或者烧杯中的样本受到了污染，或者实验室里的气压不正常，又或者任意一个其他因素不正常。简言之，仅仅以你所掌握的少量证据为基础就得出结论将是一个很不明智的做法。
下面这个叙述更准确地表现了在这个例子中你的推理过程：
如果烧杯中的样本是乙醇，同时温度计正常工作，我使用的玻璃器皿很干净，样本没有受到污染，实验室里的气压正常，以及任意一个其他因素都是正常的，那么我应该观察到样本在78.5摄氏度时沸腾。
我没有观察到样本在达到78.5摄氏度时沸腾。
所以 烧杯里的样本不是乙醇，或者我的温度计没有正常工作，或者我使用的玻璃器皿不干净，或者样本受到了污染，或者实验室里的气压不正常，又或者任意一个其他因素不正常。
这里的关键点是，前面示意图所表示的不证实推理模式过于简化。我们将会看到，下面这个示意图可以更准确地表现不证实推理模式：
如果T，且A1，A2，A3，…，An，那么O
O是不正确的
所以T是不正确的，或者A1是不正确的，或者A2是不正确的，或者A3是不正确的……或者An是不正确的。
这是一个更准确的示意图，接下来当我谈到不证实推理模式时，我脑海中出现的就将会是这个示意图。
在上面的这个示意图中，A1、A2等所代表的就是人们通常所说的辅助假设。辅助假设很关键，但通常是不证实推理模式中隐含的部分。辅助假设很关键只是因为如果没有它们，我们就不能冀望得到想要研究的观察结果。让我们换个稍有些不同的说法，从某种程度上说，我们需要通过辅助假设来从示意图中的“如果”的部分，得出“那么”的部分。也就是说，如果我们有某个理论，又有某个情况，而且所有隐含的辅助假设都正确，那么我们就可以冀望于观察到某种结果。
正如烧杯里的乙醇这个例子所表明的，在任何情况下，如果用来做出某个预言的理论被证明是不正确的，那么总有一种可能性（实际上，在很多实例中，这个可能性非常大），那就是这个理论本身是正确的，只是一个或多个辅助假设是错误的。
在冷聚变理论的例子里也同样出现了关于辅助假设的这种情况（现在这个情况仍然存在）。举例来说，从冷聚变过程中确实应该能观察到大量中子释放的现象，但实际上并没有观察到。然而，之所以预期可观察到大量中子释放现象，主要在于一个辅助假设，也就是“冷聚变所涉及的过程或多或少与常规（热）聚变所涉及的过程相似”。冷聚变理论的两位提出者所持的观点是继续坚持冷聚变理论，但是摒弃了“冷聚变与常规聚变相似”的辅助假设。是的，他们确实是这么认为的。
在冷聚变理论的例子里，后来证明这一理论不正确的证据最终达到了一定数量，因而现在已经几乎没有人继续接受冷聚变理论了（尽管如此，值得注意的是，仍然有一部分人继续坚持冷聚变理论，而摒弃了原有的辅助假设）。然而，通常我们所面临的问题是，在存在不证实推理证据时，在什么情况下放弃整个理论更合理，而在什么情况下摒弃一个或几个辅助假设更合理。这个问题非常难以回答，而且重点是，没有什么秘诀可以帮助我们来作答。
总之，现在我们得到了关于不证实推理模式及不证实推理证据最重要的两点。第一，在面对能证明一个理论不正确的证据时，可以坚持这一理论，同时摒弃一个或几个辅助假设。这不仅仅是个观点，有时确实是更合理的做法。第二，对于“在什么情况下放弃整个理论更合理，而在什么情况下摒弃一个或几个辅助假设更合理”的问题，没有一刀切的标准答案。
