Many major changes

- created new helper function prove
- renamed Prover to Environment
- Environment now only stores assumptions

logic/__init__.py

@@ -1,6 +1,16 @@
 """Logic is a predicate logic simulator and a automated prover"""
 
-from .proof import Proof, Prover
+from .proof import Environment, Proof, prove
 from .proposition import AND, IFF, IMPLY, NOT, OR, Proposition
 
-__all__ = ["Proposition", "Proof", "Prover", "IMPLY", "IFF", "AND", "OR", "NOT"]
+__all__ = [
+    "Proposition",
+    "Proof",
+    "Environment",
+    "prove",
+    "IMPLY",
+    "IFF",
+    "AND",
+    "OR",
+    "NOT",
+]