Consider the following premises. For all x_15, x_15 is poor and x_15 will make tea. Susan is not poor. Can we infer the following from them? If we can, name the inference rule being used: It is sunny.
 From the fact that for all x_15, x_15 is poor and x_15 will make tea we can infer that for all x_15, x_15 is poor via universal simplification. From the fact that for all x_15, x_15 is poor we can infer that Susan is poor via universal instantiation. From the fact that Susan is poor we can infer that Susan is poor or it is sunny via addition. Finally, from the fact that Susan is poor or it is sunny, and that Susan is not poor we can infer that it is sunny via disjunctive syllogism. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.