Consider the following premises. Charles is not running. If it is late, then Charles is running. It is late or Charles is not running. Can we infer the following from them? If it is late, then Charles is running.
That is one of the premises. Therefore, the answer is yes.