Translate the following inference to logic notation: It is not raining. If Thomas were an electrician, then Jennifer is a scientist. Thomas is an electrician. It is raining or it is cloudy. Therefore it is cloudy.
~p. q -> r. q. p or s. Therefore s.