I am slowly getting some homework done.

I have three problems solved now in my home work with about ten more to do. Most of the rest require I use Otter software. So my next step should be getting this software working and doing, resolutions, refutations and proofs. Once Otter is up and running the homework will be easy to complete.