У вигляді схеми це можна записати так.

Встановлений у справі факт А пов'язаний з особою К.

Встановлений у справі другий факт В пов'язаний також з особою К.

Встановлений у справі третій факт С пов'язаний теж з особою К.

Оскільки перелічені факти (А, В, С) е ознаками злочинної події, то роблять висновок про те, що і злочинна подія в цілому пов'язана з особою К.

Висунута версія має бути перевірена. Перевірка й доведення правильності (істинності) версії е найважливішою і відповідальною стадією в побудові й обґрунтуванні версії.

Перевірка версії складається з таких моментів: 1. Дедуктивного виведення наслідків із висунутої версії; 2. Співставленні цих наслідків із дійсністю, перевірки їх на практиці; 3. Логічного доведення істинності або хибності (спростування версії).

Перевірку версії розпочинають із виведення наслідків із певної версії. Висунувши версію, із неї виводять наслідки, котрі мають існувати в дійсності, якщо існувала гадана причина (або явище). Логічно ця мислима операція відбувається у формі дедуктивного умовиводу. У більшому засновку такого умовиводу перелічуються ознаки, викликані певною причиною. У меншому засновку йдеться про те, що в цьому випадку допущена ця причина. Робиться висновок про те, що в цьому випадку мають бути ознаки, названі в більшому засновку.

У вигляді схеми такий умовивід можна записати так:

Більший засновок:

Причина N окрім наслідків АБС викликає також і наслідки ДЕІК і т. д.

Менший засновок:

У цьому випадку припускається причина N.

----------------------------------------------------------------------------

Висновок: Отже, у цьому випадку, окрім виявлених наслідків, АБС мають бути й факти ДЕІК і т. д.

Питання про те, які наслідки (факти) мають бути логічно виведені із гаданої причини (висунутою версії), є важливе й складне. Розв'язується воно в кожному випадку конкретно, виходячи із загальних положень науки про цю категорію злочину, судової практики та власного досвіду. Чим більший цей досвід і чим ліпше юрист знає теорію і судову практику, тим повнішим буде коло фактів (наслідків), виведених ним із висунутої версії.

У цілому логічну схему висування версії і виведення із неї наслідків можна записати так:

1 Висування версії (припущення):

У цьому випадку виявлені факти АБС.

Факти АБС є ознаками злочину N.

Отже, в цьому випадку, очевидно, має місце злочин.

2 Висування наслідків із висловленого припущення:

Злочин N, окрім ознак АБС, містить і такі ознаки (факти), як

ДЕІК.

У цьому випадку допускається злочин N.

----------------------------------------------------------------------------

Отже, у цьому випадку окрім ознак (фактів) АБС мають мати місце і факти ДЕІК.

Виведені із версії наслідки (факти) необхідно виявити і зібрати. Ці факти надалі стають аргументами, за допомогою котрих доводиться істинність чи хибність версії. Основними способами виявлення і збирання фактів є такі: огляд місця події, опитування свідків, потерпілих і обвинувачуваних, обшук, вилучення, слідчий та експертний експеримент тощо.

Співставлення виведених із версії наслідків із установленими фактами дійсності дає змогу або спростувати версію, або довести її істинність.

Спростовуючи версію, слід мати на увазі, що наслідки (факти) логічно виведені із версії, можуть бути знищені злочинцем чи іншою особою, можуть зникнути з якоїсь причини і, отже, не бути виявлені взагалі і т. д. Тому лише відсутність наслідків не завжди достатня для визнання версії хибної і виключення її зі справи. Щоб визнати версію спростованою, необхідно встановити ще й такі факти, котрі суперечать цій версії, несумісні з нею. Звичайно, це так і відбувається, під час розслідування справи висувається не одна, а кілька версій водночас і всі вони проводяться паралельно.

У судовому дослідженні доведення істинності (правильності) загальної версії відбувається і прямо, і непрямо водночас. Версія може бути визнана істинною тільки тоді, коли вона підтверджена фактичними даними справи і коли доведена хибність усіх останніх версій у справі.

Пряме доведення версії відбувається шляхом виведення із версії наслідків і перевірки їх у дійсності.

Для того щоб переконатися в правильності висунутої версії, необхідно перш за все перевірити наслідки, виведені з цієї версії. Якщо факти, виведені з версії, насправді існують, підтверджуються практичною перевіркою, то робиться висновок про правильність і само версії.

Від наявності (істинності) наслідків робиться перехід до існування (істинності) гаданої причини (версії).

Висновок у таких умовиводах е правильним тому, що більшим засновком у них беруться одиничні умовні судження. У судовому пізнанні із гаданої причини (версії) виводять не будь-які наслідки взагалі, а такі, котрі в своїй індивідуальній сукупності неповторні.

Виявлення таких наслідків насправді е достатньою підставою для достовірного висновку про причину (версію), з котрої вони логічно виведені.

Непряме доведення версії проводиться шляхом спростування всіх висунутих версій, окрім однієї, котра і визнається правильною.

У логічному відношенні непряме доведення версії відбувається за формою заперечно-ствердного модусу розподільно-категоричного силогізму. Здійснюється воно так. У розслідуваній справі висувається кілька версій: А, В, С. Із кожної версії виводяться наслідки і перевіряються на практиці. Якщо під час розслідування встановлена хибність версій В і С, то за правилами розподільно-категоричного силогізму правомірним є висновком про істинність версії А.

У судовій практиці у кожній справі висувається не одна, а кілька версій. Всі вони перевіряються паралельно. Пряме доведення версії доповнюється неодмінно непрямим її доведенням: щоб визнати якусь версію правильною, необхідно не тільки встановити факти, що її підтверджують, а й виключити (спростувати) всі останні версії. Доводячи ж якусь версію побічно, спростовуючи всі останні версії, необхідно водночас установити і позитивні