Translate the following inference to logic notation: John is making tea or Jennifer is not listening to a song. Karen is playing squash. If John makes tea, then Karen is not playing squash. Therefore Jennifer is not listening to a song.
p or ~q. r. p -> ~r. Therefore ~q.