Towards an adequate theorem prover based on the connection method