Translate the following inference to logic notation: Jennifer is working if and only if it is windy. It is snowing. Jessica is a politician if and only if it is windy. Jessica is not a politician. Therefore it is snowing and Jennifer is not working.
p <-> q. r. s <-> q. ~s. Therefore r and ~p.