An expert system implementing forward-chaining inference using propositional logic. The project parses rules, evaluates facts, resolves contradictions, and derives conclusions based on logical dependencies.