Translate the following inference to logic notation: If Richard were a musician, then Joseph is climbing a mountain. Joseph is climbing a mountain and Mary is a nurse. If Joseph climbs a mountain, then Richard is a musician. Therefore Richard is a musician.
p -> q. q and r. q -> p. Therefore p.