Consider the following premises. Joseph is playing tennis or Robert is not a taxi driver. Joseph is not playing tennis. Barbara is happy. Robert is a taxi driver if and only if Joseph is playing tennis. Can we infer the following from them? If we can, name the inference rule being used: Barbara is not happy.
That contradicts the premises. Therefore the answer is no.