Translate the following inference to logic notation: Richard is climbing a mountain or it is not raining. If Richard climbs a mountain, then it is raining. Therefore if it rains, then Richard is climbing a mountain.
p or ~q. p -> q. Therefore q -> p.