Consider the following premises. If it is sunny, then Jessica is drinking water. Robert is listening to a song or Jessica is not drinking water. For all x_19, if x_19 works, then x_19 is drinking water. It is sunny or Jessica is working. Can we infer the following from them? If we can, name the inference rule being used: Robert is not listening to a song.
 From the fact that for all x_19, if x_19 works, then x_19 is drinking water we can infer that if Jessica works, then Jessica is drinking water via universal instantiation. From the fact that Robert is listening to a song or Jessica is not drinking water we can infer that if Jessica drinks water, then Robert is listening to a song via rewriting. From the fact that if it is sunny, then Jessica is drinking water, that if Jessica works, then Jessica is drinking water, and that it is sunny or Jessica is working we can infer that Jessica is drinking water via disjunction elimination. Finally, from the fact that if Jessica drinks water, then Robert is listening to a song, and that Jessica is drinking water we can infer that Robert is listening to a song via modus ponens, which contradicts that Robert is not listening to a song. Therefore, the answer is no.