Translate the following inference to logic notation: James is a cashier or Jennifer is not a scientist. Susan is an astronaut if and only if Jennifer is a scientist. Therefore if Susan were an astronaut, then James is a cashier.
p or ~q. r <-> q. Therefore r -> p.