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: Linda is playing a game or it is not late. For all x_10, x_10 will not work. If Linda plays a game, then William is working.
If it is late, then Linda is playing a game can be inferred via the rewriting rule.