Translate the following inference to logic notation: William is an electrician or Jennifer is climbing a mountain. If William were an electrician, then Richard is a janitor. It is cloudy. Richard is not a janitor. Therefore it is cloudy and Jennifer is climbing a mountain.
p or q. p -> r. s. ~r. Therefore s and q.