Translate the following inference to logic notation: Susan is playing a game. Barbara is not playing tennis. Barbara is playing tennis or it is overcast. If Richard were an electrician, then Susan is not playing a game. Therefore Richard is not an electrician and it is overcast.
p. ~q. q or r. s -> ~p. Therefore ~s and r.