Computational Model : A Theory Prover