Lähetä tietue sähköpostilla: A Comprehensive Framework for Saturation Theorem Proving