Consider the following premises. Susan is bored. Susan is excited if and only if Sarah is working. Sarah is not working. Susan is excited if and only if Susan is bored. Can we infer the following from them? If we can, name the inference rule being used: John is not a nurse.
The premises are contradictory and we can infer anything from them. Therefore, the answer is yes.