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 Jessica is cooking. If Sarah drinks water, then it is cloudy. If it is cloudy, then it is windy. If Jessica cooks, then Sarah is drinking water. It is not windy.
It is not cloudy can be inferred via the modus tollens rule. If it is cloudy, then Sarah is drinking water can be inferred via the transitivity rule. If Sarah drinks water, then Jessica is cooking can be inferred via the transitivity rule. If Sarah drinks water, then it is windy can be inferred via the transitivity rule. If Jessica cooks, then it is cloudy can be inferred via the transitivity rule.