Verified Language Processing with Hybrid Explainability: A Technical Report