Translate the following inference to logic notation: Richard is a politician if and only if Richard is a musician. If Richard were a musician, then Richard is a politician. If Richard were a musician, then it is raining. Therefore if Richard were a politician, then it is raining.
p <-> q. q -> p. q -> r. Therefore p -> r.