Consider the following premises. It is not late. It is cold if and only if Barbara is drinking water. It is late if and only if it is cold. Can we infer the following from them? If we can, name the inference rule being used: Michael is sleeping.
We cannot infer that from the premises. Therefore the answer is no.