Evidence Algorithm and Inference Search in First-Order Logics