Demo - Symbolic Reasoning and Trustworthy AI 🤖