Translate the following inference to logic notation: If Jessica were a carpenter, then David is not a police officer. David is a police officer. Susan is an astronaut if and only if Jessica is not a carpenter. Therefore Susan is an astronaut.
p -> ~q. q. r <-> ~p. Therefore r.