8.6 Programs which do natural deduction

Is there any computer program which can do all these things I explained, but without having to think or work at all? Well, I really don't know; I didn't find any. All the examples in here were done manually.

Maybe you can make tools like seqprover or pandora work. I didn't succeed, and the few programs I found were uncomplete or were just projects. Probably that type of program would be hard to do, since deduction is natural (more appropriate for human brains). Anyway, computers might apply brute force...

What you can try, and works, is a game similar to domino, with which you can prove sequents by using coloured tiles. It requires some learning.