Towards Automated Derivation in the Theory of Allegories by Joel Glanfield