Translate the following inference to logic notation: Karen is not writing a letter. If Patricia makes tea, then it is windy. Karen is writing a letter if and only if it is windy. Joseph is a writer if and only if Patricia is making tea. Therefore Joseph is not a writer.
~p. q -> r. p <-> r. s <-> q. Therefore ~s.