Translate the following inference to logic notation: Karen is writing a letter if and only if Robert is happy. Karen is not writing a letter. If it rains, then Robert is happy. Mary is a bartender. Therefore it is not raining and Mary is a bartender.
p <-> q. ~p. r -> q. s. Therefore ~r and s.