Translate the following inference to logic notation: It is sunny. Mary is working if and only if Barbara is a mechanic. Mary is working if and only if James is a politician. Barbara is not a mechanic. Therefore it is sunny and James is not a politician.
p. q <-> r. q <-> s. ~r. Therefore p and ~s.