Consider the following premises. Charles is an astronaut if and only if Robert is a server. Charles is not cooking. If Charles were an astronaut, then Charles is cooking. Can we infer the following from them? Charles is not cooking.
That is one of the premises. Therefore, the answer is yes.