Translate the following inference to logic notation: Michael is not a mechanic. Karen is rich or Michael is not a mechanic. Michael is a mechanic if and only if Karen is rich. If Robert were a politician, then Karen is rich. Therefore Robert is not a politician.
~p. q or ~p. p <-> q. r -> q. Therefore ~r.