Translate the following inference to logic notation: Patricia is not an artist. Charles is a janitor if and only if John is running. If Charles were a janitor, then Charles is not a doctor. Patricia is an artist. Therefore John is not running.
~p. q <-> r. q -> ~s. p. Therefore ~r.