Translate the following inference to logic notation: If William were a mechanic, then Thomas is playing a game. If Thomas plays a game, then William is working. William is not working. Therefore William is not a mechanic or it is cloudy.
p -> q. q -> r. ~r. Therefore ~p or s.