Translate the following inference to logic notation: If Michael were a lawyer, then Susan is not a poet. Susan is a poet. Michael is a lawyer if and only if it is cloudy. Therefore it is not cloudy or Charles is listening to a song.
p -> ~q. q. p <-> r. Therefore ~r or s.