Consider the following premises. Mary is a mechanic if and only if Richard is a bartender. Thomas is a janitor. Mary is not a mechanic. Can we infer the following from them? If we can, name the inference rule being used: Richard is a bartender.
That contradicts the premises. Therefore the answer is no.