Consider the following premises. Charles is not happy. Charles is happy or it is snowing. If David were a doctor, then Susan is listening to a song. David is a doctor. Can we infer the following from them? Susan is listening to a song.
Yes.