Consider the following premises. There is at least one x_14 for which x_14 will write a letter or x_14 is a politician. For all x_14, x_14 will go running. For all x_14, if x_14 writes a letter, then x_14 is a mechanic. For all x_14, if x_14 were a politician, then x_14 is a mechanic. For all x_14, x_14 is bored. Can we infer the following from them? For all x_14, x_14 will go running.
That is one of the premises. Therefore, the answer is yes.