create class Deduction
revise Deduction
delete old prove() method
delete dump method for debug
redesign the prover to use Deduction