Consider the following premises. For all x_15, if x_15 were a taxi driver, then x_15 is a writer. Jessica is a taxi driver if and only if Michael is making tea. Jessica is not a writer. Can we infer the following from them? Michael is not making tea.
 From the fact that for all x_15, if x_15 were a taxi driver, then x_15 is a writer we can infer that if Jessica were a taxi driver, then Jessica is a writer. From the fact that Jessica is a taxi driver if and only if Michael is making tea we can infer that if Michael makes tea, then Jessica is a taxi driver. From the fact that if Jessica were a taxi driver, then Jessica is a writer, and that Jessica is not a writer we can infer that Jessica is not a taxi driver. Finally, from the fact that if Michael makes tea, then Jessica is a taxi driver, and that Jessica is not a taxi driver we can infer that Michael is not making tea. Therefore, the answer is yes.