Translate the following inference to logic notation: If William were poor, then Elisabeth is an astronaut. Jessica is playing tennis if and only if Elisabeth is an astronaut. Jessica is playing tennis. Therefore Elisabeth is an astronaut.
p -> q. r <-> q. r. Therefore q.