Translate the following inference to logic notation: If Linda were an artist, then Thomas is a janitor. William is working. If Thomas were a janitor, then William is not working. Therefore Linda is not an artist.
p -> q. r. q -> ~r. Therefore ~p.