Consider the following premises. For all x_20, if x_20 were sad, then x_20 is not curious. For all x_20, x_20 is a server or x_20 is curious. If Joseph were a scientist, then David is sad. For all x_20, x_20 is not a server. Can we infer the following from them? Joseph is not a scientist or William is playing a game.
 From the fact that for all x_20, x_20 is a server or x_20 is curious, and that for all x_20, x_20 is not a server we can infer that for all x_20, x_20 is curious. From the fact that for all x_20, if x_20 were sad, then x_20 is not curious, and that for all x_20, x_20 is curious we can infer that for all x_20, x_20 is not sad. From the fact that for all x_20, x_20 is not sad we can infer that David is not sad. From the fact that if Joseph were a scientist, then David is sad, and that David is not sad we can infer that Joseph is not a scientist. Finally, from the fact that Joseph is not a scientist we can infer that Joseph is not a scientist or William is playing a game. Therefore, the answer is yes.