Towards Automated Derivation in the Theory of Allegories