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 Elisabeth drives a car, then Thomas is a soldier. If David reads a book, then Elisabeth is driving a car. If Sarah plays tennis, then it is cloudy. Sarah is playing tennis or David is reading a book. If it is cloudy, then Elisabeth is driving a car.
If David reads a book, then Thomas is a soldier can be inferred via the transitivity rule. If Sarah plays tennis, then Elisabeth is driving a car can be inferred via the transitivity rule. If it is cloudy, then Thomas is a soldier can be inferred via the transitivity rule.