Consider the following premises. If Robert were curious, then Linda is happy. Charles is a carpenter or Linda is not happy. Can we infer the following from them? If we can, name the inference rule being used: The fact that Robert were curious does not imply that Charles is a carpenter.
 From the fact that Charles is a carpenter or Linda is not happy we can infer that if Linda were happy, then Charles is a carpenter via rewriting. Finally, from the fact that if Robert were curious, then Linda is happy, and that if Linda were happy, then Charles is a carpenter we can infer that if Robert were curious, then Charles is a carpenter via transitivity, which contradicts that The fact that Robert were curious does not imply that Charles is a carpenter. Therefore, the answer is no.