Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas