Ответ: [Джорджа] Оруэлла.

Комментарий: Профессор Хэмкинс так зашифровал афоризм "Все животные равны, но некоторые равнее других" из "Скотного двора", который средствами классической логики описать, конечно, непросто.