Translate the following inference to logic notation: If Karen were a cashier, then it is snowing. If it snows, then it is sunny. If it is sunny, then Michael is drinking water. If Michael drinks water, then Karen is a cashier. Therefore if it is sunny, then Karen is a cashier.
p -> q. q -> r. r -> s. s -> p. Therefore r -> p.