Translate the following inference to logic notation: It is cloudy or Thomas is not happy. It is cloudy or David is not playing squash. Thomas is happy or David is playing squash. Therefore it is cloudy.
p or ~q. p or ~r. q or r. Therefore p.