Translate the following inference to logic notation: It is sunny or Susan is reading a book. Susan is not reading a book. It is not sunny or it is snowing. If it is late, then Barbara is rich. Barbara is not rich. Therefore it is not late and it is snowing.
p or q. ~q. ~p or r. s -> t. ~t. Therefore ~s and r.