What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is making tea if and only if Linda is fast. If Michael goes running, then Linda is fast. If Patricia makes tea, then Michael is running.
If Patricia makes tea, then Linda is fast. If Patricia makes tea, then Linda is fast. If Linda were fast, then Patricia is making tea.