Translate the following inference to logic notation: Mary is not a mechanic or Patricia is bored. Mary is a mechanic or it is sunny. It is cloudy or Patricia is not bored. It is cloudy or it is not sunny. Therefore it is cloudy.
~p or q. p or r. s or ~q. s or ~r. Therefore s.