Translate the following inference to logic notation: It is not snowing. Jessica is a lawyer if and only if Robert is working. Joseph is taking a plane. It is snowing if and only if Robert is working. Therefore Joseph is taking a plane and Jessica is not a lawyer.
~p. q <-> r. s. p <-> r. Therefore s and ~q.