Consider the following premises. Michael is running if and only if Richard is a taxi driver. Charles is reading a book or Richard is a taxi driver. Charles is not reading a book or it is sunny. For all z, z will not go running. Can we infer the following from them? If we can, name the inference rule being used: It is sunny or Elisabeth is drinking water.
 From the fact that Charles is reading a book or Richard is a taxi driver, and that Charles is not reading a book or it is sunny we can infer that Richard is a taxi driver or it is sunny via resolution. From the fact that for all z, z will not go running we can infer that Michael is not running via universal instantiation. From the fact that Michael is running if and only if Richard is a taxi driver, and that Michael is not running we can infer that Richard is not a taxi driver via biconditional elimination. From the fact that Richard is a taxi driver or it is sunny, and that Richard is not a taxi driver we can infer that it is sunny via disjunctive syllogism. Finally, from the fact that it is sunny we can infer that it is sunny or Elisabeth is drinking water via addition. Therefore, the answer is yes.