Translate the following inference to logic notation: It is windy if and only if it is overcast. It is snowing. If Mary were a politician, then it is not snowing. It is windy if and only if Elisabeth is running. It is not overcast. Therefore Mary is not a politician and Elisabeth is not running.
p <-> q. r. s -> ~r. p <-> t. ~q. Therefore ~s and ~t.