Translate the following inference to logic notation: It is not overcast. Barbara is a politician if and only if Thomas is a nurse. Thomas is not a nurse. It is overcast if and only if Barbara is climbing a mountain. Therefore Barbara is not climbing a mountain.
~p. q <-> r. ~r. p <-> s. Therefore ~s.