Consider the following premises. It is raining if and only if Michael is playing squash. If it rains, then Robert is not playing tennis. For all x_17, x_17 is an astronaut or x_17 will play tennis. Robert is not an astronaut. Can we infer the following from them? Michael is playing squash.
 From the fact that for all x_17, x_17 is an astronaut or x_17 will play tennis we can infer that Robert is an astronaut or Robert is playing tennis. From the fact that Robert is an astronaut or Robert is playing tennis, and that Robert is not an astronaut we can infer that Robert is playing tennis. From the fact that if it rains, then Robert is not playing tennis, and that Robert is playing tennis we can infer that it is not raining. Finally, from the fact that it is raining if and only if Michael is playing squash, and that it is not raining we can infer that Michael is not playing squash, which contradicts that Michael is playing squash. Therefore, the answer is no.