What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is overcast. David is a poet or Jennifer is a cashier. If David were a poet, then it is windy. If Jennifer were a cashier, then Michael is playing tennis. If it is windy, then Michael is playing tennis.
If David were a poet, then Michael is playing tennis.