Translate the following inference to logic notation: If Jennifer were an astronaut, then it is late. If Mary were a janitor, then Jennifer is an astronaut. If Jennifer were an astronaut, then Mary is a janitor. Therefore if Mary were a janitor, then it is late.
p -> q. r -> p. p -> r. Therefore r -> q.