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