Translate the following inference to logic notation: It is windy or Jessica is an electrician. Karen is climbing a mountain. If it is windy, then it is sunny. Jessica is an electrician if and only if it is sunny. If James plays squash, then Karen is not climbing a mountain. Therefore it is sunny and James is not playing squash.
p or q. r. p -> s. q <-> s. t -> ~r. Therefore s and ~t.