Translate the following inference to logic notation: Thomas is not climbing a mountain. Jessica is sleeping or it is cold. If Thomas were an electrician, then Thomas is climbing a mountain. Jessica is not sleeping or Thomas is an electrician. It is not cold or it is cloudy. Therefore it is cloudy.
~p. q or r. s -> p. ~q or s. ~r or t. Therefore t.