Report: Propositional logic forward chaining example

You are reporting the paste Propositional logic forward chaining example.