An Anytime Deduction Algorithm for the Probabilistic Logic and Entailment Problems