Translate the following inference to logic notation: James is sleeping or Linda is reading a book. For all x, x_20 is bored or x_20 is a soldier. For all x, x_20 is not bored. James is not sleeping. Therefore Elisabeth is a soldier and Linda is reading a book.
p or q. forall x: P(x) or Q(x). forall x: ~P(x). ~p. Therefore Q(a) and q.