Consider the following premises. Sarah is sad or Mary is an astronaut. For all x_5, if x_5 were sad, then x_5 is running. If Mary were an astronaut, then Sarah is running. Can we infer the following from them? Sarah is running.
 From the fact that for all x_5, if x_5 were sad, then x_5 is running we can infer that if Sarah were sad, then Sarah is running. Finally, from the fact that if Sarah were sad, then Sarah is running, that if Mary were an astronaut, then Sarah is running, and that Sarah is sad or Mary is an astronaut we can infer that Sarah is running. Therefore, the answer is yes.