Логика первого порядка

[Гость]

Задание такое - формализовать гипозу и посылки с использованием языка логики первого порядка
Посылки:
Коготок увяз - всей птичке пропасть
Йогурт Данон - полезнее йогурта Эрмит
Не все то золото, что блестит

Гипотеза

Не все йогурты одинаково полезны