Translate the following inference to logic notation: It is not raining. If Karen were an electrician, then it is raining. Therefore Karen is not an electrician or Susan is running.
~p. q -> p. Therefore ~q or r.