Consider the following premises. Linda is not taking a plane. Mary is a politician and Charles is an astronaut. Linda is taking a plane if and only if Richard is making tea. Can we infer the following from them? If we can, name the inference rule being used: Mary is a politician and Charles is an astronaut.
That is one of the premises. Therefore, the answer is yes.