Translate the following inference to logic notation: Barbara is a cashier if and only if it is raining. If it snows, then it is raining. If Barbara were a cashier, then it is snowing. Therefore if it snows, then it is raining.
p <-> q. r -> q. p -> r. Therefore r -> q.