Prover 9 is working fine for my school work.

Almost right after I wrote the last blog post I tried out prover 9 with the lecture example the professor had given and it worked just fine. This means my school work should now be easy to complete.