Object Oriented Prover for S5n