Consider the following premises. If Susan were an astronaut, then Susan is fast. If David were a bartender, then Susan is fast. For all x_17, if x_17 were fast, then x_17 is an astronaut. Susan is not an astronaut. If Susan were bored, then David is a bartender. Can we infer the following from them? If we can, name the inference rule being used: Susan is bored.
 From the fact that for all x_17, if x_17 were fast, then x_17 is an astronaut we can infer that if Susan were fast, then Susan is an astronaut via universal instantiation. From the fact that if Susan were an astronaut, then Susan is fast, and that if Susan were fast, then Susan is an astronaut we can infer that Susan is an astronaut if and only if Susan is fast via biconditional introduction. From the fact that if Susan were bored, then David is a bartender, and that if David were a bartender, then Susan is fast we can infer that if Susan were bored, then Susan is fast via transitivity. From the fact that Susan is an astronaut if and only if Susan is fast, and that Susan is not an astronaut we can infer that Susan is not fast via biconditional elimination. Finally, from the fact that if Susan were bored, then Susan is fast, and that Susan is not fast we can infer that Susan is not bored via modus tollens, which contradicts that Susan is bored. Therefore, the answer is no.