Translate the following inference to logic notation: Elisabeth is a cashier if and only if Charles is drinking water. If Barbara plays a game, then it is windy. If it is windy, then Elisabeth is a cashier. Therefore if Barbara plays a game, then Charles is drinking water.
p <-> q. r -> s. s -> p. Therefore r -> q.