Translate the following inference to logic notation: If Barbara were a nurse, then James is a server. If it snows, then David is reading a book. Barbara is a nurse. David is not reading a book. Therefore it is not snowing and James is a server.
p -> q. r -> s. p. ~s. Therefore ~r and q.