ну так что будем считать, что решено верно
будем считать
изначально был у меня такой вариант, но смутила аксиома, которой ты воспользовалсь Мужик + Водка= Мужик
без нее зашел в тупик
надо попробовать решить задачу
используя вот эти проверенные аксиомы