Translate the following inference to logic notation: It is overcast. If Jennifer plays squash, then it is snowing. It is not snowing. If Jennifer drinks water, then Jennifer is playing squash. Therefore Jennifer is not drinking water and it is overcast.
p. q -> r. ~r. s -> q. Therefore ~s and p.