Translate the following inference to logic notation: If Sarah writes a letter, then it is not overcast. It is overcast. Jessica is making tea if and only if it is cloudy. If it is cloudy, then Sarah is writing a letter. Therefore Jessica is not making tea.
p -> ~q. q. r <-> s. s -> p. Therefore ~r.