What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x, x will not play squash. Thomas is drinking water if and only if Mary is playing squash. Thomas is drinking water or Sarah is cooking.
If Thomas drinks water, then Mary is playing squash. If Mary plays squash, then Thomas is drinking water.