Consider the following premises. Mary is not happy or it is raining. Thomas is not a scientist or Mary is happy. For all x_9, x_9 is a scientist or x_9 is a lawyer. Thomas is not a lawyer or William is an office clerk. Can we infer the following from them? William is an office clerk or it is raining.
 From the fact that for all x_9, x_9 is a scientist or x_9 is a lawyer we can infer that Thomas is a scientist or Thomas is a lawyer. From the fact that Thomas is a scientist or Thomas is a lawyer, and that Thomas is not a scientist or Mary is happy we can infer that Thomas is a lawyer or Mary is happy. From the fact that Thomas is a lawyer or Mary is happy, and that Thomas is not a lawyer or William is an office clerk we can infer that Mary is happy or William is an office clerk. Finally, from the fact that Mary is happy or William is an office clerk, and that Mary is not happy or it is raining we can infer that William is an office clerk or it is raining. Therefore, the answer is yes.