Solving arbitrary logical problems seems to be equivalent to solving the halting problem so you are probably wise not to make that bet.