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