Условие:
Либо каждый любит кого-нибудь, либо не один не любит всех, либо некто любит всех, и кто-то не любит никого.

Либо каждый любит кого-нибудь, либо не один не любит всех, либо некто любит всех, и кто-то не любит никого.
Универсум: люди; предикат A(x, y) выражает отношение x любит y.
Выразим сначала подформулы:
каждый любит к...