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