Translate the following inference to logic notation: Michael is not working. Michael is working or William is playing squash. If William plays squash, then David is happy. Karen is fast. Therefore David is happy and Karen is fast.
~p. p or q. q -> r. s. Therefore r and s.