Resolution-Style-Proof-Solver