Translate the following inference to logic notation: If it is late, then Robert is playing squash. If it is late, then Robert is playing squash. If Robert plays squash, then it is late. Therefore if Robert plays squash, then it is late.
p -> q. p -> q. q -> p. Therefore q -> p.