Translate the following inference to logic notation: If Joseph were a police officer, then Robert is running. If Robert goes running, then Karen is a taxi driver. Joseph is a police officer or Karen is not a taxi driver. Therefore if Karen were a taxi driver, then Joseph is a police officer.
p -> q. q -> r. p or ~r. Therefore r -> p.