Consider the following premises. For all x_14, if x_14 were curious, then x_14 is running. Karen is running or Joseph is bored. For all x_14, x_14 is an office clerk. For all x_14, if x_14 goes running, then x_14 is curious. For all x_14, if x_14 were curious, then x_14 is not an office clerk. Can we infer the following from them? Joseph is bored.
 From the fact that for all x_14, if x_14 were curious, then x_14 is running, and that for all x_14, if x_14 goes running, then x_14 is curious we can infer that for all x_14, x_14 is curious if and only if x_14 will go running. From the fact that for all x_14, if x_14 were curious, then x_14 is not an office clerk, and that for all x_14, x_14 is an office clerk we can infer that for all x_14, x_14 is not curious. From the fact that for all x_14, x_14 is curious if and only if x_14 will go running, and that for all x_14, x_14 is not curious we can infer that for all x_14, x_14 will not go running. From the fact that for all x_14, x_14 will not go running we can infer that Karen is not running. Finally, from the fact that Karen is running or Joseph is bored, and that Karen is not running we can infer that Joseph is bored. Therefore, the answer is yes.