Translate the following inference to logic notation: If Barbara reads a book, then Robert is not a nurse. Robert is a nurse and Linda is an artist. Therefore Barbara is not reading a book or Thomas is a writer.
p -> ~q. q and r. Therefore ~p or s.