Mechanical equivalent of logical inference from correlated uncertain information