Consider the following premises. For all x_7, x_7 will not play squash or x_7 is a janitor. William is not an office clerk or Mary is running. For all x_7, x_7 is fast or x_7 will play squash. For all x_7, x_7 is not fast or x_7 is an office clerk. Can we infer the following from them? William is a janitor or Mary is running.
 From the fact that for all x_7, x_7 is fast or x_7 will play squash, and that for all x_7, x_7 is not fast or x_7 is an office clerk we can infer that for all x_7, x_7 will play squash or x_7 is an office clerk. From the fact that for all x_7, x_7 will play squash or x_7 is an office clerk, and that for all x_7, x_7 will not play squash or x_7 is a janitor we can infer that for all x_7, x_7 is an office clerk or x_7 is a janitor. From the fact that for all x_7, x_7 is an office clerk or x_7 is a janitor we can infer that William is an office clerk or William is a janitor. Finally, from the fact that William is an office clerk or William is a janitor, and that William is not an office clerk or Mary is running we can infer that William is a janitor or Mary is running. Therefore, the answer is yes.