Consider the following premises. It is late. For all x_4, x_4 will not read a book. For all x_4, x_4 is an electrician or x_4 is a scientist. For all x_4, if x_4 were an electrician, then x_4 is reading a book. Can we infer the following from them? John is a scientist and it is late.
 From the fact that for all x_4, if x_4 were an electrician, then x_4 is reading a book, and that for all x_4, x_4 will not read a book we can infer that for all x_4, x_4 is not an electrician. From the fact that for all x_4, x_4 is an electrician or x_4 is a scientist, and that for all x_4, x_4 is not an electrician we can infer that for all x_4, x_4 is a scientist. From the fact that for all x_4, x_4 is a scientist we can infer that John is a scientist. Finally, from the fact that John is a scientist, and that it is late we can infer that John is a scientist and it is late. Therefore, the answer is yes.