Translate the following inference to logic notation: If Jessica climbs a mountain, then Jessica is drinking water. Jessica is sleeping if and only if Jessica is drinking water. If Jessica sleeps, then Jessica is climbing a mountain. Therefore if Jessica sleeps, then Jessica is drinking water.
p -> q. r <-> q. r -> p. Therefore r -> q.