What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is making tea. David is poor. John is excited.
Charles is making tea and David is poor. Charles is making tea and John is excited. David is poor and Charles is making tea. David is poor and John is excited. John is excited and Charles is making tea. John is excited and David is poor.