Translate the following inference to logic notation: If it is sunny, then Jessica is not an electrician. Jessica is an electrician. It is sunny. Therefore Karen is playing squash.
p -> ~q. q. p. Therefore r.