Consider the following premises. If Karen plays a game, then William is a doctor. William is a scientist if and only if Karen is playing a game. For all x_17, if x_17 were a doctor, then x_17 is a scientist. Can we infer the following from them? The fact that William were a doctor does not imply that Karen is playing a game.
That contradicts the premises. Therefore the answer is no.