Consider the following premises. Barbara is not working. For all x_15, x_15 will work and x_15 is an astronaut. Can we infer the following from them? Karen is climbing a mountain.
 From the fact that for all x_15, x_15 will work and x_15 is an astronaut we can infer that for all x_15, x_15 will work. From the fact that for all x_15, x_15 will work we can infer that Barbara is working. From the fact that Barbara is working we can infer that Barbara is working or Karen is climbing a mountain. Finally, from the fact that Barbara is working or Karen is climbing a mountain, and that Barbara is not working we can infer that Karen is climbing a mountain. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.