Consider the following premises. Joseph is a writer if and only if it is sunny. Charles is driving a car if and only if Joseph is a lawyer. For all y, if y were a lawyer, then y is a writer. It is not sunny. Can we infer the following from them? Charles is driving a car.
 From the fact that for all y, if y were a lawyer, then y is a writer we can infer that if Joseph were a lawyer, then Joseph is a writer. From the fact that Joseph is a writer if and only if it is sunny, and that it is not sunny we can infer that Joseph is not a writer. From the fact that if Joseph were a lawyer, then Joseph is a writer, and that Joseph is not a writer we can infer that Joseph is not a lawyer. Finally, from the fact that Charles is driving a car if and only if Joseph is a lawyer, and that Joseph is not a lawyer we can infer that Charles is not driving a car, which contradicts that Charles is driving a car. Therefore, the answer is no.