Translate the following inference to logic notation: Jessica is a carpenter if and only if James is a soldier. If Jennifer were a nurse, then James is a soldier. Therefore if Jennifer were a nurse, then Jessica is a carpenter.
p <-> q. r -> q. Therefore r -> p.