Задание по логике первого порядка

[grynya]

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

[folk]

полезнее(данон, эрмит)
A x not (E y st полезнее(у,x)) - все йогурты дониково полезны
E x E y st полезнее(x,y)  - формальное отрицание предыдущего