Consider the following premises. For all x, if x reads a book, then x is a carpenter. For all x, if x were a carpenter, then x is reading a book. If Michael reads a book, then Sarah is driving a car. Can we infer the following from them? If Michael were a carpenter, then Sarah is driving a car.
 From the fact that for all x, if x were a carpenter, then x is reading a book, and that for all x, if x reads a book, then x is a carpenter we can infer that for all x, x is a carpenter if and only if x will read a book. From the fact that for all x, x is a carpenter if and only if x will read a book we can infer that Michael is a carpenter if and only if Michael is reading a book. From the fact that Michael is a carpenter if and only if Michael is reading a book we can infer that if Michael were a carpenter, then Michael is reading a book. Finally, from the fact that if Michael were a carpenter, then Michael is reading a book, and that if Michael reads a book, then Sarah is driving a car we can infer that if Michael were a carpenter, then Sarah is driving a car. Therefore, the answer is yes.