Translate the following inference to logic notation: It is cloudy or it is not snowing. It is snowing or Michael is not happy. Therefore if Michael were happy, then it is cloudy.
p or ~q. q or ~r. Therefore r -> p.