Consider the following premises. If David were sad, then Thomas is drinking water. For all x_14, if x_14 drinks water, then x_14 is sleeping. David is sad. Can we infer the following from them? David is sad.
That is one of the premises. Therefore, the answer is yes.