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