Consider the following premises. If Charles makes tea, then Richard is a carpenter. If Richard were a carpenter, then it is cold. Richard is not a carpenter. If it is cold, then Thomas is driving a car. If Thomas drives a car, then Charles is making tea. Can we infer the following from them? Thomas is driving a car.
 From the fact that if Thomas drives a car, then Charles is making tea, and that if Charles makes tea, then Richard is a carpenter we can infer that if Thomas drives a car, then Richard is a carpenter. From the fact that if Richard were a carpenter, then it is cold, and that if it is cold, then Thomas is driving a car we can infer that if Richard were a carpenter, then Thomas is driving a car. From the fact that if Richard were a carpenter, then Thomas is driving a car, and that if Thomas drives a car, then Richard is a carpenter we can infer that Richard is a carpenter if and only if Thomas is driving a car. Finally, from the fact that Richard is a carpenter if and only if Thomas is driving a car, and that Richard is not a carpenter we can infer that Thomas is not driving a car, which contradicts that Thomas is driving a car. Therefore, the answer is no.