Translate the following inference to logic notation: For all x, x_12 will play squash and x_12 will listen to a song. If it rains, then Mary is a police officer. For all x, if x_12 were a police officer, then x_12 is not playing squash. Therefore it is not raining.
forall x: P(x) and Q(x). p -> R(a). forall x: R(x) -> ~P(x). Therefore ~p.