Translate the following inference to logic notation: Mary is working if and only if Joseph is rich. It is not windy. If David writes a letter, then Joseph is rich. It is windy if and only if Mary is working. Therefore David is not writing a letter.
p <-> q. ~r. s -> q. r <-> p. Therefore ~s.