Translate the following inference to logic notation: If Sarah were a cashier, then it is cloudy. If it is windy, then Sarah is a cashier. It is cloudy if and only if Thomas is playing tennis. Thomas is not playing tennis. If it is cloudy, then it is windy. Therefore it is not windy.
p -> q. r -> p. q <-> s. ~s. q -> r. Therefore ~r.