What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is making tea if and only if Linda is bored. If Sarah were rich, then Linda is bored. Mary is a politician if and only if Robert is making tea.
If Robert makes tea, then Linda is bored. If Mary were a politician, then Robert is making tea. If Linda were bored, then Robert is making tea. If Robert makes tea, then Mary is a politician.