Допустим, собраны достоверные факты, которые исключают все альтернативные гипотезы, кроме одной. Чтобы неисключенную гипотезу признать необходимо истинной, необходимо, конечно, чтобы она объясняла все имеющиеся факты. Но этого мало. Также необходимо чтобы из нее можно было дедуцировать следствие, называемое решающим, которое предсказывает факт, не совпадающий с объясняемыми. Если такое предсказание подтверждается, то получает окончательное подтверждение и гипотеза. Окончательное потому, что этот решающий эксперимент, подтверждая проверяемую гипотезу, одновременно опровергает все ее не только фактические, но и мыслимые альтернативы. Если нет, проверяемая гипотеза опровергается, и так как решающий эксперимент опроверг последнюю гипотезу из списка проверяемых, этот список пересматривается и уточняется.
Допустим, неисключенными оказалось несколько гипотез. Тогда каждая из них потенциально может оказаться истинной. В этом случае истинной гипотезой считается снова та, для которой решающее предсказание окажется более весомым, чем аналогичные предсказания для всех остальных. «Размышляя над всей этой историей, я (Шерлок Холмс. – В. С.) исходил из предпосылки, что истиной, какой бы невероятной она ни казалась, является то, что останется, если отбросить все невозможное. Не исключено, что это оставшееся допускает несколько объяснений. В таком случае необходимо проанализировать каждый вариант, пока не останется один, достаточно убедительный» (Человек с белым лицом). Сравнение и выбор одной из гипотез, оставшихся неисключенными, предполагает умение вычислять вероятности гипотез. «Мы, кажется, вступили в область догадок, – заметил доктор Мортимер. – Скажите лучше (ответ Холмса д-ру Мортимеру. – В. С.) – в область, где взвешиваются все возможности, с тем чтобы выбрать из них наиболее правдоподобную. Таково научное использование силы воображения, которое всегда работает у специалистов на твердой материальной основе, с которой начинается наше размышление» (Собака Баскервилей).