Consider the following premises. For all y, y is sad if and only if y is a soldier. For all y, if y were a sailor, then y is sad. For all y, if y were a soldier, then y is a sailor. Can we infer the following from them? For all y, if y were a soldier, then y is a sailor.
That is one of the premises. Therefore, the answer is yes.