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