Translate the following inference to logic notation: If Sarah were a cashier, then it is overcast. It is raining if and only if it is overcast. If it is late, then Sarah is a cashier. Therefore if it is late, then it is raining.
p -> q. r <-> q. s -> p. Therefore s -> r.