Translate the following inference to logic notation: If Robert were a bartender, then it is sunny. If Elisabeth reads a book, then it is not sunny. It is sunny if and only if it is overcast. It is overcast or Robert is a bartender. Therefore Elisabeth is not reading a book.
p -> q. r -> ~q. q <-> s. s or p. Therefore ~r.