Translate the following inference to logic notation: Michael is not listening to a song. Richard is rich if and only if Richard is cooking. Michael is listening to a song or Richard is not cooking. Therefore Richard is not rich.
~p. q <-> r. p or ~r. Therefore ~q.