Translate the following inference to logic notation: James is rich or it is snowing. It is not late. If James were rich, then it is late. If it snows, then it is late. Therefore Mary is a scientist.
p or q. ~r. p -> r. q -> r. Therefore s.