Consider the following premises. Joseph is not running. If Joseph takes a plane, then Joseph is running. For all x_8, if x_8 were a nurse, then x_8 is taking a plane. For all x_8, if x_8 goes running, then x_8 is a nurse. Can we infer the following from them? Joseph is not taking a plane.
 From the fact that for all x_8, if x_8 goes running, then x_8 is a nurse, and that for all x_8, if x_8 were a nurse, then x_8 is taking a plane we can infer that for all x_8, if x_8 goes running, then x_8 is taking a plane. From the fact that for all x_8, if x_8 goes running, then x_8 is taking a plane we can infer that if Joseph goes running, then Joseph is taking a plane. From the fact that if Joseph takes a plane, then Joseph is running, and that if Joseph goes running, then Joseph is taking a plane we can infer that Joseph is taking a plane if and only if Joseph is running. Finally, from the fact that Joseph is taking a plane if and only if Joseph is running, and that Joseph is not running we can infer that Joseph is not taking a plane. Therefore, the answer is yes.