Translate the following inference to logic notation: If Richard plays squash, then it is raining. It is raining if and only if Joseph is climbing a mountain. It is not raining. If Joseph climbs a mountain, then Richard is playing squash. Therefore Richard is not playing squash.
p -> q. q <-> r. ~q. r -> p. Therefore ~p.