Translate the following from English into FOL.

A. Nobody defeats Dumbledore.

Defeat(x,y) = x defeats y. d = Dumbledore

B. Nobody who loves Dumbledore defeats him.

C. Somebody defeats Dumbledore -- but there is also someone who defeats them as well.

(Note that we are not saying that it is necessarily somebody else, who defeats the Dumbledore-defeater. Your translation should leave open the possibility that the Dumbledore-defeater is also someone who defeats themselves.)

D. If anybody can defeat Voldemort, then they must be Dumbledore.

v = Voldemort