Translate the following inference to logic notation: Robert is a writer. It is sunny if and only if Karen is making tea. Sarah is not working. If Karen makes tea, then Sarah is working. Therefore it is not sunny.
p. q <-> r. ~s. r -> s. Therefore ~q.