Consider the following premises. Mary is bored if and only if Patricia is playing tennis. Patricia is playing tennis or Mary is not bored. Can we infer the following from them? If we can, name the inference rule being used: Mary is bored if and only if Patricia is playing tennis.
That is one of the premises. Therefore, the answer is yes.