Consider the following premises. Patricia is not poor. It is windy if and only if Patricia is running. For all x_17, x_17 is poor or x_17 will go running. Can we infer the following from them? It is windy.
 From the fact that for all x_17, x_17 is poor or x_17 will go running we can infer that Patricia is poor or Patricia is running. From the fact that Patricia is poor or Patricia is running, and that Patricia is not poor we can infer that Patricia is running. From the fact that it is windy if and only if Patricia is running we can infer that if Patricia goes running, then it is windy. Finally, from the fact that if Patricia goes running, then it is windy, and that Patricia is running we can infer that it is windy. Therefore, the answer is yes.