Add entry point for solving prooftrees
Add entry point for solving propositions
Add rule for double negation
Build consitency map
Add entry to verifying propositions
Add entry to verifying propositions