Analytical Solution for Probabilistic Logic with Conditional Probabilities