Translate the following inference to logic notation: Charles is not listening to a song. It is sunny if and only if Charles is listening to a song. If it is not sunny, then Jessica is playing tennis. For all x, x will read a book. Therefore Michael is reading a book and Jessica is playing tennis.
~p. q <-> p. ~q -> r. forall x: P(x). Therefore P(a) and r.