What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia were rich, then Linda is fast. Susan is not climbing a mountain. Susan is climbing a mountain if and only if Linda is fast. If Linda were fast, then Patricia is rich.
Patricia is rich if and only if Linda is fast. Linda is fast if and only if Patricia is rich. If Susan climbs a mountain, then Linda is fast. If Linda were fast, then Susan is climbing a mountain. Linda is not fast.