Translate the following inference to logic notation: If Elisabeth plays a game, then Jessica is a scientist. If Jessica were a scientist, then Richard is fast. Jessica is sleeping or Richard is not fast. Therefore if Elisabeth plays a game, then Jessica is sleeping.
p -> q. q -> r. s or ~r. Therefore p -> s.