Conformal Prediction for Signal Temporal Logic Inference