Consider the following premises. For all x_17, x_17 will not go running. Michael is running if and only if David is rich. David is rich or Michael is not running. Can we infer the following from them? David is rich.
 From the fact that for all x_17, x_17 will not go running we can infer that Michael is not running. From the fact that David is rich or Michael is not running we can infer that if Michael goes running, then David is rich. From the fact that Michael is running if and only if David is rich we can infer that if David were rich, then Michael is running. From the fact that if Michael goes running, then David is rich, and that if David were rich, then Michael is running we can infer that Michael is running if and only if David is rich. Finally, from the fact that Michael is running if and only if David is rich, and that Michael is not running we can infer that David is not rich, which contradicts that David is rich. Therefore, the answer is no.