Translate the following inference to logic notation: If Mary were an electrician, then it is overcast. If Mary were an electrician, then Jennifer is not excited. It is sunny. Jennifer is excited. If it is overcast, then Mary is an electrician. Therefore it is sunny and it is not overcast.
p -> q. p -> ~r. s. r. q -> p. Therefore s and ~q.