Translate the following inference to logic notation: For all x, z will not listen to a song. Sarah is listening to a song and Jennifer is playing squash. Therefore Susan is bored.
forall x: ~P(x). P(a) and p. Therefore q.