How to calculate the posterior probability using the Bayesian Theorem formula?