Translate the following inference to logic notation: Barbara is not listening to a song. It is raining. Barbara is listening to a song if and only if Charles is a lawyer. If it rains, then Patricia is happy. Therefore Charles is not a lawyer and Patricia is happy.
~p. q. p <-> r. q -> s. Therefore ~r and s.