KnowledgeBase Implementation

Stores the assertions in an arraylist on calling Tell.
Writes the assertions in KB to input file and set query as call, then
calls the Prover9. If return value = 0 -> Theorem Proved.