Предположим, что Алан лжет. Это значит, что он говорит правду и одним из остальных трех является лжец. Из высказываний Барри и Вильяма следует, что должно быть два лжеца, что противоречит высказыванию Алана.
Предположим, что Барри лжет. Тогда он говорит правду и два других также являются лжецами. Это противоречит высказыванию Вильяма, что хотя бы трое из них лжецы.
Предположим, что Вильям лжет. Тогда он говорит правду и все остальные лжецы. Это противоречит высказыванию Генри, что среди них нет лжецов.
Следовательно, Генри говорит правду, а остальные трое являются лжецами: Алан, Барри и Вильям.