Consider the following premises. Richard is not listening to a song. Richard is listening to a song or Charles is not a janitor. If Patricia sleeps, then Charles is a janitor. Can we infer the following from them? Patricia is not sleeping.
 From the fact that Richard is listening to a song or Charles is not a janitor we can infer that if Charles were a janitor, then Richard is listening to a song. From the fact that if Patricia sleeps, then Charles is a janitor, and that if Charles were a janitor, then Richard is listening to a song we can infer that if Patricia sleeps, then Richard is listening to a song. Finally, from the fact that if Patricia sleeps, then Richard is listening to a song, and that Richard is not listening to a song we can infer that Patricia is not sleeping. Therefore, the answer is yes.