What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is running or Mary is drinking water. If Mary drinks water, then Jennifer is a sailor. If Jennifer were a soldier, then it is overcast. If Jennifer were a sailor, then Jennifer is a soldier. If Elisabeth goes running, then it is overcast.
If Mary drinks water, then Jennifer is a soldier. If Jennifer were a sailor, then it is overcast.