Translate the following inference to logic notation: William is an office clerk. Elisabeth is playing squash. If it rains, then Elisabeth is not playing squash. Therefore it is not raining.
p. q. r -> ~q. Therefore ~r.