Consider the following premises. If William were an electrician, then Sarah is making tea. For all x_11, x_11 is a soldier. For all x_11, x_11 will make tea if and only if x_11 is poor. For all x_11, if x_11 were poor, then x_11 is not a soldier. Can we infer the following from them? William is not an electrician.
 From the fact that for all x_11, if x_11 were poor, then x_11 is not a soldier, and that for all x_11, x_11 is a soldier we can infer that for all x_11, x_11 is not poor. From the fact that for all x_11, x_11 will make tea if and only if x_11 is poor, and that for all x_11, x_11 is not poor we can infer that for all x_11, x_11 will not make tea. From the fact that for all x_11, x_11 will not make tea we can infer that Sarah is not making tea. Finally, from the fact that if William were an electrician, then Sarah is making tea, and that Sarah is not making tea we can infer that William is not an electrician. Therefore, the answer is yes.