What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is a poet if and only if Patricia is making tea. If Patricia plays tennis, then Linda is a poet. For all x_8, x_8 will play tennis or x_8 will make tea.
If Linda were a poet, then Patricia is making tea. If Patricia makes tea, then Linda is a poet.