Translate the following inference to logic notation: If Robert were a taxi driver, then Richard is writing a letter. William is a politician if and only if Richard is writing a letter. If William were a politician, then Robert is a taxi driver. Therefore if Robert were a taxi driver, then Richard is writing a letter.
p -> q. r <-> q. r -> p. Therefore p -> q.