Consider the following premises. For all x_14, if x_14 sleeps, then x_14 is bored. If Robert were rich, then Robert is sleeping. Robert is not bored. Can we infer the following from them? If we can, name the inference rule being used: Robert is not rich.
 From the fact that for all x_14, if x_14 sleeps, then x_14 is bored we can infer that if Robert sleeps, then Robert is bored via universal instantiation. From the fact that if Robert sleeps, then Robert is bored, and that Robert is not bored we can infer that Robert is not sleeping via modus tollens. Finally, from the fact that if Robert were rich, then Robert is sleeping, and that Robert is not sleeping we can infer that Robert is not rich via modus tollens. Therefore, the answer is yes.