Translate the following inference to logic notation: For all x, y_2 is not a lawyer. Elisabeth is not a police officer or Karen is curious. Elisabeth is a police officer or Jessica is a lawyer. If Linda plays squash, then Karen is not curious. Therefore Linda is not playing squash.
forall x: ~P(x). ~p or q. p or P(a). r -> ~q. Therefore ~r.