Consider the following premises. If Susan were poor, then it is overcast. For all x_17, x_17 is poor or x_17 is a lawyer. It is overcast or Susan is not a lawyer. Can we infer the following from them? If we can, name the inference rule being used: It is overcast or Michael is bored.
 From the fact that for all x_17, x_17 is poor or x_17 is a lawyer we can infer that Susan is poor or Susan is a lawyer via universal instantiation. From the fact that it is overcast or Susan is not a lawyer we can infer that if Susan were a lawyer, then it is overcast via rewriting. From the fact that if Susan were poor, then it is overcast, that if Susan were a lawyer, then it is overcast, and that Susan is poor or Susan is a lawyer we can infer that it is overcast via disjunction elimination. Finally, from the fact that it is overcast we can infer that it is overcast or Michael is bored via addition. Therefore, the answer is yes.