Translate the following inference to logic notation: It is cloudy. Mary is a sailor if and only if Mary is a taxi driver. If Mary were a sailor, then it is not cloudy. If Mary were a sailor, then Mary is a taxi driver. Therefore Mary is not a taxi driver.
p. q <-> r. q -> ~p. q -> r. Therefore ~r.