Translate the following inference to logic notation: Karen is not running. It is overcast. William is not playing tennis or John is an office clerk. William is playing tennis or Karen is running. Therefore it is overcast and John is an office clerk.
~p. q. ~r or s. r or p. Therefore q and s.