Translate the following inference to logic notation: If Karen were a janitor, then Charles is not a poet. Mary is listening to a song. Charles is a poet or Mary is not listening to a song. Therefore Karen is not a janitor.
p -> ~q. r. q or ~r. Therefore ~p.