What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is a nurse or Mary is not climbing a mountain. David is not a nurse. Richard is a server.
Mary is not climbing a mountain. David is not a nurse and Richard is a server. Richard is a server and David is not a nurse. If Mary climbs a mountain, then David is a nurse.