What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If it is cloudy, then Jennifer is working. It is not cloudy. If Jennifer works, then Elisabeth is listening to a song. If it is sunny, then it is cloudy. If Elisabeth listens to a song, then it is sunny.
It is not sunny can be inferred via the modus tollens rule. If it is cloudy, then Elisabeth is listening to a song can be inferred via the transitivity rule. If Jennifer works, then it is sunny can be inferred via the transitivity rule. If it is sunny, then Jennifer is working can be inferred via the transitivity rule. If Elisabeth listens to a song, then it is cloudy can be inferred via the transitivity rule.