Consider the following premises. For all x_16, x_16 will take a plane if and only if x_16 will play tennis. William is not sleeping. William is sleeping or Richard is taking a plane. Can we infer the following from them? Richard is playing tennis.
 From the fact that for all x_16, x_16 will take a plane if and only if x_16 will play tennis we can infer that Richard is taking a plane if and only if Richard is playing tennis. From the fact that Richard is taking a plane if and only if Richard is playing tennis we can infer that if Richard takes a plane, then Richard is playing tennis. From the fact that William is sleeping or Richard is taking a plane, and that William is not sleeping we can infer that Richard is taking a plane. Finally, from the fact that if Richard takes a plane, then Richard is playing tennis, and that Richard is taking a plane we can infer that Richard is playing tennis. Therefore, the answer is yes.