Translate the following inference to logic notation: Robert is a politician if and only if Joseph is playing squash. If Robert were a politician, then John is running. If John goes running, then Joseph is playing squash. Therefore if Joseph plays squash, then Robert is a politician.
p <-> q. p -> r. r -> q. Therefore q -> p.