Exploring Model Elimination Theorem Proving