Лечебница Смолля и Перро, Логическая задача