Translate the following inference to logic notation: Susan is a taxi driver if and only if Elisabeth is an astronaut. If it is cold, then Elisabeth is an astronaut. Susan is not a taxi driver. Jessica is playing tennis. Therefore Jessica is playing tennis and it is not cold.
p <-> q. r -> q. ~p. s. Therefore s and ~r.