Consider the following premises. If it is late, then Charles is a soldier. If William were a server, then it is late. William is a server if and only if Charles is a soldier. Can we infer the following from them? William is a server if and only if Charles is a soldier.
That is one of the premises. Therefore, the answer is yes.