Translate the following inference to logic notation: If David listens to a song, then Sarah is not cooking. If it rains, then Susan is making tea. It is raining. Sarah is cooking. Therefore David is not listening to a song and Susan is making tea.
p -> ~q. r -> s. r. q. Therefore ~p and s.