Translate the following inference to logic notation: Richard is working if and only if it is cloudy. Richard is working if and only if Sarah is a lawyer. It is not cloudy. Therefore Sarah is not a lawyer.
p <-> q. p <-> r. ~q. Therefore ~r.