Translate the following inference to logic notation: Barbara is not climbing a mountain. David is a cashier if and only if William is an office clerk. If Karen cooks, then Barbara is climbing a mountain. If David were a cashier, then Karen is cooking. Therefore William is not an office clerk.
~p. q <-> r. s -> p. q -> s. Therefore ~r.