Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines