Consider the following premises. For all x_16, x_16 is a bartender if and only if x_16 is a poet. Thomas is poor if and only if Susan is a bartender. Susan is not a poet. If Thomas were not poor, then James is running. Can we infer the following from them? James is not running.
 From the fact that for all x_16, x_16 is a bartender if and only if x_16 is a poet we can infer that Susan is a bartender if and only if Susan is a poet. From the fact that Susan is a bartender if and only if Susan is a poet, and that Susan is not a poet we can infer that Susan is not a bartender. From the fact that Thomas is poor if and only if Susan is a bartender, and that Susan is not a bartender we can infer that Thomas is not poor. Finally, from the fact that if Thomas were not poor, then James is running, and that Thomas is not poor we can infer that James is running, which contradicts that James is not running. Therefore, the answer is no.