Translate the following inference to logic notation: If Mary were a police officer, then Joseph is excited. For all x, x_24 is not a server. Joseph is a server if and only if David is drinking water. If Joseph were excited, then Sarah is a lawyer. If Sarah were a lawyer, then David is drinking water. Therefore Mary is not a police officer.
p -> q. forall x: ~P(x). P(a) <-> r. q -> s. s -> r. Therefore ~p.