Text this: Parallel deduction-search algorithm for the predicate logic formulas