Consider the following premises. If it is cloudy, then it is late. If it is cold, then it is cloudy. If it is late, then it is cloudy. If it is late, then Robert is driving a car. If Robert drives a car, then it is cold. Can we infer the following from them? Robert is driving a car if and only if it is late.
 From the fact that if it is cloudy, then it is late, and that if it is late, then it is cloudy we can infer that it is cloudy if and only if it is late. From the fact that it is cloudy if and only if it is late we can infer that if it is cloudy, then it is late. From the fact that if Robert drives a car, then it is cold, and that if it is cold, then it is cloudy we can infer that if Robert drives a car, then it is cloudy. From the fact that if Robert drives a car, then it is cloudy, and that if it is cloudy, then it is late we can infer that if Robert drives a car, then it is late. Finally, from the fact that if Robert drives a car, then it is late, and that if it is late, then Robert is driving a car we can infer that Robert is driving a car if and only if it is late. Therefore, the answer is yes.