Translate the following inference to logic notation: If Richard plays a game, then Elisabeth is a taxi driver. If William were a nurse, then Karen is driving a car. If Elisabeth were a taxi driver, then William is a nurse. If William were a nurse, then Elisabeth is a taxi driver. Therefore if Richard plays a game, then Karen is driving a car.
p -> q. r -> s. q -> r. r -> q. Therefore p -> s.