Translate the following inference to logic notation: For all x, z will not play squash. Robert is an astronaut if and only if Charles is playing squash. Jessica is a writer if and only if Robert is an astronaut. Therefore Jessica is not a writer.
forall x: ~P(x). p <-> P(a). q <-> p. Therefore ~q.