Translate the following inference to logic notation: Mary is sad if and only if Susan is playing squash. For all x, x_17 will not play squash. Mary is sad. Therefore Barbara is running.
p <-> P(a). forall x: ~P(x). p. Therefore q.