Consider the following premises. For all y_1, if y_1 were a janitor, then y_1 is writing a letter. If Jennifer takes a plane, then Richard is a janitor. For all y_1, if y_1 writes a letter, then y_1 is a janitor. Richard is writing a letter or Jennifer is taking a plane. Can we infer the following from them? Michael is curious.
We cannot infer that from the premises. Therefore the answer is no.