Слідчий розслідує злочин. Під час з’ясування обставин справи було опитано шістьох свідків, кожен із яких повідомив певну інформацію, проте вона суперечлива. Аналізуючи свідчення слідчий зробив такі висновки:

1) Якщо свідки 1 і 2 кажуть правду, то свідок 3 теж каже правду.

2) Якщо свідок 5 каже правду, то свідок 4 каже неправду.

3) Якщо свідок 6 каже правду, то свідок 5 каже правду.

4) Якщо свідок 4 каже неправду, то свідок 3 теж каже неправду.

Якщо свідок 4 каже неправду, то однозначно можна

стверджувати, що…