What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not snowing or Thomas is making tea. If William were curious, then John is drinking water. Thomas is making tea if and only if John is drinking water. Robert is not a police officer or William is curious. It is snowing or Robert is a police officer.
Robert is a police officer or Thomas is making tea. If Thomas makes tea, then John is drinking water. If John drinks water, then Thomas is making tea.