Translate the following inference to logic notation: If Jessica climbs a mountain, then Charles is happy. If Charles were happy, then Jessica is climbing a mountain. It is raining if and only if Charles is happy. Therefore if Jessica climbs a mountain, then it is raining.
p -> q. q -> p. r <-> q. Therefore p -> r.