What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z_3, if z_3 plays tennis, then z_3 is drinking water. If Richard drinks water, then Michael is playing squash. If Michael plays squash, then Richard is playing tennis.
If Richard drinks water, then Richard is playing tennis.