Let L(x,y) be the statement that x loves y. For each of the following statements, (1) translate the statement into first-order predicate logic (2) negate this expression and simplify as much as possible (pulling the negation inside), (3) translate the negation back to English. Some of these may include propositions beyond just using the predicate L.

Socrates loves nobody. Somebody who isn't Socrates loves Socrates