Translate the following inference to logic notation: If David were an artist, then Elisabeth is a lawyer. William is not a server. If Elisabeth were a lawyer, then Patricia is making tea. If Patricia makes tea, then William is a server. Therefore David is not an artist.
p -> q. ~r. q -> s. s -> r. Therefore ~p.