Translate the following inference to logic notation: If Charles drinks water, then Susan is not an artist. William is a janitor if and only if Susan is an artist. William is a janitor. Therefore Charles is not drinking water.
p -> ~q. r <-> q. r. Therefore ~p.