Translate the following inference to logic notation: It is snowing if and only if James is a server. If James were not a server, then James is a lawyer. It is not snowing. Therefore James is a lawyer.
p <-> q. ~q -> r. ~p. Therefore r.