What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is a mechanic or it is snowing. Joseph is not making tea. If Mary were a mechanic, then Joseph is making tea. Joseph is making tea if and only if Mary is a mechanic.
Mary is not a mechanic. If Joseph makes tea, then Mary is a mechanic. If Mary were a mechanic, then Joseph is making tea. Mary is not a mechanic.