Translate the following inference to logic notation: John is not a soldier. John is a soldier if and only if James is a poet. James is a poet or John is not a soldier. Therefore James is not a poet or it is raining.
~p. p <-> q. q or ~p. Therefore ~q or r.