Translate the following inference to logic notation: If Michael were a mechanic, then Joseph is a server. Joseph is a server if and only if Jennifer is a writer. Michael is a mechanic or Michael is not an astronaut. Therefore if Michael were an astronaut, then Jennifer is a writer.
p -> q. q <-> r. p or ~s. Therefore s -> r.