Translate the following inference to logic notation: Elisabeth is playing a game or Richard is not drinking water. It is snowing or Mary is not working. If Elisabeth plays a game, then Mary is working. Therefore if Richard drinks water, then it is snowing.
p or ~q. r or ~s. p -> s. Therefore q -> r.