Самая сложная логическая головоломка. Алгоритм решения + визуализация (HTML, jQuery, jQuery UI).

Чем занять себя в дороге программисту? Решить самую сложную логическую головоломку от Джорджа Булоса про трех богов Правды, Лжи и Случая.
Принцип решения задачи - двойное отрицание. Закон двойного отрицания: ложь от лжи - правда.