Translate the following inference to logic notation: If Sarah were an artist, then it is late. Elisabeth is a cashier. If Elisabeth were a cashier, then it is cloudy. If it is cloudy, then Sarah is an artist. Therefore it is late.
p -> q. r. r -> s. s -> p. Therefore q.