Derivations in Predicate Logic

Strip the quantifiers, work in propositional logic, put the quantifiers back