Interpretable Graph Networks Formulate Universal Algebra Conjectures