Translate the following inference to logic notation: It is not cloudy or William is cooking. It is not snowing or Thomas is fast. It is cloudy or it is snowing. Therefore William is cooking or Thomas is fast.
~p or q. ~r or s. p or r. Therefore q or s.