What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy. Mary is not running. Mary is excited if and only if Mary is running. If Mary were excited, then Mary is running.
Mary is not excited. It is cloudy and Mary is not running. Mary is not running and it is cloudy. If Mary were excited, then Mary is running. If Mary goes running, then Mary is excited. Mary is not excited.