Consider the following premises. If it is windy, then Robert is a server. If Robert sleeps, then it is windy. Robert is sleeping or Patricia is not running. Can we infer the following from them? If we can, name the inference rule being used: The fact that Patricia goes running does not imply that Robert is a server.
 From the fact that Robert is sleeping or Patricia is not running we can infer that if Patricia goes running, then Robert is sleeping via rewriting. From the fact that if Robert sleeps, then it is windy, and that if it is windy, then Robert is a server we can infer that if Robert sleeps, then Robert is a server via transitivity. Finally, from the fact that if Patricia goes running, then Robert is sleeping, and that if Robert sleeps, then Robert is a server we can infer that if Patricia goes running, then Robert is a server via transitivity, which contradicts that The fact that Patricia goes running does not imply that Robert is a server. Therefore, the answer is no.