Translate the following inference to logic notation: If it is sunny, then Sarah is reading a book. If Karen were a nurse, then Elisabeth is a bartender. If Elisabeth were a bartender, then it is sunny. Sarah is not reading a book. Therefore Karen is not a nurse.
p -> q. r -> s. s -> p. ~q. Therefore ~r.