∀x$\left ( x\neq Michael \rightarrow Hate \left ( Marlyn, x \right ) \right )$
$x$ is the domain of all the people
For every $x$, if $x$ is not the Michael then Marlyn hates everyone, this predicate function will return true
One other way to say this statement "Marlyn hates everyone except Michael".