Translate the following inference to logic notation: James is not a taxi driver. It is cloudy if and only if James is a taxi driver. If it is cloudy, then James is a taxi driver. Therefore it is not cloudy or it is raining.
~p. q <-> p. q -> p. Therefore ~q or r.