Consider the following premises. It is snowing and Sarah is taking a plane. If David were a soldier, then Thomas is playing squash. For all y_1, y_1 is a soldier. Can we infer the following from them? It is snowing and Thomas is playing squash.
 From the fact that it is snowing and Sarah is taking a plane we can infer that it is snowing. From the fact that for all y_1, y_1 is a soldier we can infer that David is a soldier. From the fact that if David were a soldier, then Thomas is playing squash, and that David is a soldier we can infer that Thomas is playing squash. Finally, from the fact that it is snowing, and that Thomas is playing squash we can infer that it is snowing and Thomas is playing squash. Therefore, the answer is yes.