1{2 "task_id": "F5-conf-03",3 "statement_true": false,4 "counterexample_provided": true,5 "counterexample_values": {6 "construction": "X ~ N(0,1); S independent of X with P(S=1)=P(S=-1)=1/2; Y = S*X. Then Y ~ N(0,1), but X+Y = (1+S)X equals 0 with probability 1/2 and 2X otherwise (atom at 0, non-constant), so X+Y is not normal.",7 "n": 100000,8 "seed": 20261029,9 "mean_x": -0.0033187423835634258,10 "sd_x": 0.9982238690893596,11 "mean_y": -0.00024909222432809854,12 "sd_y": 0.9982293548745821,13 "mean_sum": -0.0035678346078915233,14 "sd_sum": 1.4058866469982523,15 "ks_sum_vs_normal": 0.250847572326839216 },17 "statement_b_true": true,18 "feasibility": "complete",19 "feasibility_reason": null,20 "data_issues": [],21 "n_input_rows": {22 "propositions.csv": 2,23 "design.csv": 224 },25 "n_analysed": 100000,26 "random_seed": 20261029,27 "numerical_checks": {28 "ks_x_vs_fitted_normal": 0.0020917798156042666,29 "ks_y_vs_fitted_normal": 0.0019518220846299617,30 "ks_x_vs_N01_pvalue": 0.3991728422639075,31 "ks_y_vs_N01_pvalue": 0.948324516666961,32 "frac_sum_exactly_zero": 0.50047,33 "theoretical_frac_sum_zero": 0.5,34 "theoretical_sd_sum": 1.4142135623730951,35 "ks_sum_vs_fitted_normal_pvalue": 0.0,36 "propB_ks_sum_independent_vs_N02": 0.0023900096157679074,37 "propB_ks_pvalue": 0.616548503063051938 }39}