PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network