Explainable Logic