Consider the following premises. Jennifer is not an astronaut. For all x_13, x_13 is an astronaut. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is an office clerk or it is sunny.
 From the fact that for all x_13, x_13 is an astronaut we can infer that for all x_13, x_13 is an astronaut or x_13 is an office clerk via universal addition. From the fact that for all x_13, x_13 is an astronaut or x_13 is an office clerk we can infer that Jennifer is an astronaut or Jennifer is an office clerk via universal instantiation. From the fact that Jennifer is an astronaut or Jennifer is an office clerk, and that Jennifer is not an astronaut we can infer that Jennifer is an office clerk via disjunctive syllogism. Finally, from the fact that Jennifer is an office clerk we can infer that Jennifer is an office clerk or it is sunny via addition. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.