What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is sunny, then Michael is fast. Elisabeth is working. Michael is not fast.
It is not sunny. Elisabeth is working and Michael is not fast. Michael is not fast and Elisabeth is working.