Consider the following premises. Richard is not working. For all x_7, if x_7 works, then x_7 is a writer. If Richard were a writer, then Richard is working. Can we infer the following from them? Richard is a writer.
 From the fact that for all x_7, if x_7 works, then x_7 is a writer we can infer that if Richard works, then Richard is a writer. From the fact that if Richard works, then Richard is a writer, and that if Richard were a writer, then Richard is working we can infer that Richard is working if and only if Richard is a writer. Finally, from the fact that Richard is working if and only if Richard is a writer, and that Richard is not working we can infer that Richard is not a writer, which contradicts that Richard is a writer. Therefore, the answer is no.