Translate the following inference to logic notation: It is windy if and only if William is working. It is not sunny. If it is overcast, then it is windy. William is working if and only if it is sunny. Therefore it is not overcast.
p <-> q. ~r. s -> p. q <-> r. Therefore ~s.