Translate the following inference to logic notation: James is not a doctor or William is rich. It is raining if and only if John is excited. James is a doctor or it is raining. John is not excited. Therefore William is rich.
~p or q. r <-> s. p or r. ~s. Therefore q.