Reasoning System

1. Create a system which extracts and validates statements regarding a solution or a problem.

2. solution

   1. This seems to be a theorem system/prover.

   2. toDo

      https://hol-theorem-prover.org/

      1. Check if this is the case.

   3. toDo

      1. What is the difference between a theorem prover and Prolog.