Translate the following inference to logic notation: Joseph is a soldier or Sarah is not a scientist. Elisabeth is not sleeping or Sarah is a scientist. Elisabeth is sleeping or John is reading a book. If John reads a book, then Joseph is a soldier. Therefore Joseph is a soldier.
p or ~q. ~r or q. r or s. s -> p. Therefore p.