Решите логическую задачу.

В городе Винтерхолд было совершено ограбление ювелирной лавки. Инспектор Крейг в ходе расследования сузил круг подозреваемых до четырёх человек: Альберта, Бенджамина, Винсента и Джона. Однако инспектор ещё не завершил расследование: ему необходимо с помощью логических рассуждений определить, чья вина неоспорима. Проанализировав данные, полученные в ходе расследования, инспектор Крейг получил следующую достоверную информацию.
1) Если Альберт и Бенджамин оба виновны, то Винсент был соучастником.
2) Если Альберт виновен, то по крайней мере один из обвиняемых Бенджамин или Винсент был соучастником.
3) Если Винсент виновен, то Джон был соучастником.
4) Если Альберт не виновен, то Джон виновен.

Кто из четырёх подозреваемых виновен вне всякого сомнения? Чья вина остаётся под сомнением?


Не вызывает сомнений вина Альберта, Бенджамина и Винсента. Виновность Джона под сомнением.

Не вызывает сомнений вина Альберта и Бенджамина. Виновность Винсента и Джона под сомнением.

Не вызывает сомнений вина Альберта и Винсента. Виновность Бенджамина и Джона под сомнением.

Не вызывает сомнений вина Альберта и Джона. Виновность Винсента и Бенджамина под сомнением.

Не вызывает сомнений вина Альберта. Виновность остальных под сомнением.

Не вызывает сомнений вина Бенджамина. Виновность остальных под сомнением.

Не вызывает сомнений вина Винсента. Виновность остальных под сомнением.

Не вызывает сомнений вина Джона. Виновность остальных под сомнением.