Translate the following inference to logic notation: If Joseph were a nurse, then Joseph is making tea. If Joseph makes tea, then Joseph is a nurse. If Joseph makes tea, then Joseph is a nurse. Therefore if Joseph makes tea, then Joseph is a nurse.
p -> q. q -> p. q -> p. Therefore q -> p.