Translate the following inference to logic notation: If John were an astronaut, then Robert is a writer. If Jessica were a nurse, then John is an astronaut. Robert is a writer if and only if Jessica is a nurse. Therefore if Jessica were a nurse, then John is an astronaut.
p -> q. r -> p. q <-> r. Therefore r -> p.