Consider the following premises. David is not poor or Richard is playing tennis. Jennifer is sad if and only if it is cold. If Richard goes running, then Richard is not playing tennis. David is poor or it is cold. Jennifer is not sad. Can we infer the following from them? If we can, name the inference rule being used: Richard is running.
 From the fact that Jennifer is sad if and only if it is cold, and that Jennifer is not sad we can infer that it is not cold via biconditional elimination. From the fact that David is poor or it is cold, and that David is not poor or Richard is playing tennis we can infer that it is cold or Richard is playing tennis via resolution. From the fact that it is cold or Richard is playing tennis, and that it is not cold we can infer that Richard is playing tennis via disjunctive syllogism. Finally, from the fact that if Richard goes running, then Richard is not playing tennis, and that Richard is playing tennis we can infer that Richard is not running via modus tollens, which contradicts that Richard is running. Therefore, the answer is no.