Translate the following inference to logic notation: If William were curious, then Karen is a lawyer. Karen is not a lawyer. It is cloudy if and only if Karen is climbing a mountain. It is not cloudy. Therefore William is not curious.
p -> q. ~q. r <-> s. ~r. Therefore ~p.