Consider the following premises. For all x_15, if x_15 drinks water, then x_15 is making tea. Thomas is drinking water or John is not a scientist. Thomas is not making tea. Can we infer the following from them? John is not a scientist.
 From the fact that for all x_15, if x_15 drinks water, then x_15 is making tea we can infer that if Thomas drinks water, then Thomas is making tea. From the fact that if Thomas drinks water, then Thomas is making tea, and that Thomas is not making tea we can infer that Thomas is not drinking water. From the fact that Thomas is drinking water or John is not a scientist we can infer that if John were a scientist, then Thomas is drinking water. Finally, from the fact that if John were a scientist, then Thomas is drinking water, and that Thomas is not drinking water we can infer that John is not a scientist. Therefore, the answer is yes.