What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia makes tea, then Joseph is an electrician. Patricia is making tea. If it snows, then Jennifer is playing squash. Jennifer is not playing squash.
Joseph is an electrician. It is not snowing. Patricia is making tea and Jennifer is not playing squash. Jennifer is not playing squash and Patricia is making tea.