What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is cooking or it is late. It is not late or Karen is making tea. David is not cooking or Karen is taking a plane.
It is late or Karen is taking a plane.