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