Separation of axioms now works. Working on Modus Ponens now, and then
comparing theorems to axioms to see if they are equal. If all theorems
are present in the axioms list, then the output is true.