Translate the following inference to logic notation: It is raining or James is not a cashier. If Elisabeth were a sailor, then it is late. Elisabeth is a sailor or James is a cashier. If it is late, then it is raining. Therefore it is raining.
p or ~q. r -> s. r or q. s -> p. Therefore p.