Consider the following premises. It is sunny or Patricia is playing a game. It is not sunny. If Patricia works, then Patricia is not playing a game. Patricia is working if and only if Linda is running. Can we infer the following from them? If we can, name the inference rule being used: Linda is not running.
 From the fact that it is sunny or Patricia is playing a game, and that it is not sunny we can infer that Patricia is playing a game via disjunctive syllogism. From the fact that if Patricia works, then Patricia is not playing a game, and that Patricia is playing a game we can infer that Patricia is not working via modus tollens. Finally, from the fact that Patricia is working if and only if Linda is running, and that Patricia is not working we can infer that Linda is not running via biconditional elimination. Therefore, the answer is yes.