б) Пряме доказування гіпотези протікає шляхом виведення з припущення різновид них, але витікаючи тільки з даної гіпотези наслідків, підтвердження їх виявленими фактами.
При відсутності побічного доказування просте співпадіння фактів з тими наслідками, які виведені з версії, не можна розцінювати як достатню підставу істинності версії, бо співпадаючі факти могли бути викликані іншою причиною:. Логіка не вважає демонстративним перехід від ствердження наслідків до ствердження підстави (основи).
Якщо наслідки (Sа, Sв, … , Sn) вказують на походження від однією, визначеної причини, і ця версія підтверджується упорядкованою сукупністю фактів (Fа, Fв, … , Fn), тим самим служить достовірною підставою для виводу про достовірність єдиного припущення Н1 , і також виключає інше пояснення обставин справи, то, ми маємо такий зв’язок між підставою і наслідком, який може бути виражений подвійною імплікацією: “якщо і тільки якщо Н1, то (Sа, Sв, … , Sn)”. Н1¬®S. Вивод тут є законним. Якщо в меншому засновку стверджується, що сукупність фактів Fа, Fв, … , Fn і співпадає з наслідками Sа, Sв, … , Sn, то в висновку з необхідністю стверджують про існування причини Н1. Міркування приймає вид:.