Translate the following inference to logic notation: If it rains, then Mary is a mechanic. Mary is not a mechanic. It is overcast if and only if it is raining. It is overcast if and only if Linda is a lawyer. Therefore Linda is not a lawyer.
p -> q. ~q. r <-> p. r <-> s. Therefore ~s.