Translate the following inference to logic notation: It is windy if and only if it is cold. If Karen were a cashier, then it is windy. It is not cold. Therefore Karen is not a cashier.
p <-> q. r -> p. ~q. Therefore ~r.