What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is not making tea. It is late. James is making tea or Thomas is a bartender.
Thomas is a bartender. James is not making tea and it is late. It is late and James is not making tea.