with Distributional Truth Values -- Error Magnification in Inference Formulas --