Translate the following inference to logic notation: Charles is working or William is not an artist. Charles is not working. If Richard were a musician, then William is an artist. Therefore Richard is not a musician.
p or ~q. ~p. r -> q. Therefore ~r.