Translate the following inference to logic notation: If Jennifer were not an office clerk, then it is overcast. Charles is a mechanic or Jennifer is not an office clerk. Charles is not a mechanic. It is overcast if and only if it is snowing. Therefore it is snowing.
~p -> q. r or ~p. ~r. q <-> s. Therefore s.