Mechanical equivalent of logical inference: application to monitoring data analysis