Translate the following inference to logic notation: If it is not late, then Michael is making tea. If Richard takes a plane, then Michael is making tea. Sarah is listening to a song. If it is late, then Sarah is not listening to a song. Therefore Michael is making tea.
~p -> q. r -> q. s. p -> ~s. Therefore q.