Algebra of Probable Inference