Consider the following premises. If James drinks water, then it is late. If it is late, then it is cloudy. James is drinking water if and only if it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: If James drinks water, then it is cloudy.
 From the fact that James is drinking water if and only if it is cloudy we can infer that if it is cloudy, then James is drinking water via biconditional elimination. Finally, from the fact that if James drinks water, then it is late, and that if it is late, then it is cloudy we can infer that if James drinks water, then it is cloudy via transitivity. Therefore, the answer is yes.