Translate the following inference to logic notation: David is not playing squash. Karen is playing tennis if and only if it is overcast. It is overcast or it is not raining. David is playing squash if and only if Karen is playing tennis. Therefore it is not raining.
~p. q <-> r. r or ~s. p <-> q. Therefore ~s.