Consider the following premises. If Charles were a musician, then Joseph is making tea. Joseph is making tea if and only if Charles is a musician. Can we infer the following from them? If Joseph makes tea, then Charles is a musician.
Yes.