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