What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Robert makes tea, then Patricia is fast. If Susan were a bartender, then it is windy. Susan is a bartender or Robert is making tea. It is windy if and only if Patricia is fast.
If it is windy, then Patricia is fast. If Patricia were fast, then it is windy.