Translate the following inference to logic notation: It is windy. James is excited if and only if Joseph is writing a letter. Joseph is not writing a letter. Therefore it is windy.
p. q <-> r. ~r. Therefore p.