Text this: A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach