What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If David makes tea, then Thomas is curious. If Thomas were curious, then Patricia is drinking water. If Patricia drinks water, then Linda is happy. If Linda were happy, then Linda is reading a book. If Sarah works, then David is making tea.
If David makes tea, then Patricia is drinking water. If Thomas were curious, then Linda is happy. If Patricia drinks water, then Linda is reading a book. If Sarah works, then Thomas is curious.