Consider the following premises. John is a poet. For all y, y will cook or y is not a poet. If John cooks, then Sarah is a soldier. Can we infer the following from them? Sarah is not a soldier.
 From the fact that for all y, y will cook or y is not a poet we can infer that for all y, if y were a poet, then y is cooking. From the fact that for all y, if y were a poet, then y is cooking we can infer that if John were a poet, then John is cooking. From the fact that if John were a poet, then John is cooking, and that John is a poet we can infer that John is cooking. Finally, from the fact that if John cooks, then Sarah is a soldier, and that John is cooking we can infer that Sarah is a soldier, which contradicts that Sarah is not a soldier. Therefore, the answer is no.