Two Column Proofs Solver