Translate the following inference to logic notation: If William works, then it is windy. William is working or it is not windy. Mary is playing a game if and only if William is working. Mary is not playing a game. Therefore it is not windy.
p -> q. p or ~q. r <-> p. ~r. Therefore ~q.