Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain