Prediction logic and quasi‐independence in empirical evaluation of formal theory