Translate the following inference to logic notation: Susan is a lawyer if and only if it is raining. Susan is not a lawyer. If James works, then it is raining. If it rains, then James is working. Therefore James is not working.
p <-> q. ~p. r -> q. q -> r. Therefore ~r.