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