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