Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems