Translate the following inference to logic notation: Sarah is playing tennis or it is not late. If Sarah plays tennis, then Elisabeth is working. If Elisabeth works, then it is late. Therefore if it is late, then Sarah is playing tennis.
p or ~q. p -> r. r -> q. Therefore q -> p.