Consider the following premises. Elisabeth is not playing tennis. Elisabeth is playing tennis if and only if Charles is working. For all x_13, x_13 will sleep or x_13 is bored. If Richard sleeps, then Charles is working. Can we infer the following from them? Richard is bored.
 From the fact that for all x_13, x_13 will sleep or x_13 is bored we can infer that Richard is sleeping or Richard is bored. From the fact that Elisabeth is playing tennis if and only if Charles is working, and that Elisabeth is not playing tennis we can infer that Charles is not working. From the fact that if Richard sleeps, then Charles is working, and that Charles is not working we can infer that Richard is not sleeping. Finally, from the fact that Richard is sleeping or Richard is bored, and that Richard is not sleeping we can infer that Richard is bored. Therefore, the answer is yes.