Translate the following inference to logic notation: Linda is climbing a mountain if and only if Karen is an office clerk. If Linda were curious, then Linda is climbing a mountain. It is snowing. If Karen were an office clerk, then it is not snowing. Therefore Linda is not curious.
p <-> q. r -> p. s. q -> ~s. Therefore ~r.