Consider the following premises. Elisabeth is playing tennis. It is not cloudy. Elisabeth is playing tennis if and only if it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not a taxi driver.
We cannot infer that from the premises. Therefore the answer is no.