Automated Theorem Proving by Monty Newborn & Monroe Newborn