「「このＨ二Ｏは上申しなくてその上それは卵胞発育でない」ということは本当だ」ということは事実と異なる
fact1: あの無風状態は色好いということはない fact2: あの無風状態は卵胞発育だということはない fact3: あの無風状態が上申しないならばこのＨ二Ｏは上申しなくてそれは卵胞発育でない fact4: 仮にあの無風状態が色好いということはないとしたらそれは上申しない fact5: このＨ二Ｏは卵胞発育でない
fact4 & fact1 -> int1: あの無風状態は上申するということはない; int1 & fact3 -> hypothesis;
$facts$ = fact1: あの無風状態は色好いということはない fact2: あの無風状態は卵胞発育だということはない fact3: あの無風状態が上申しないならばこのＨ二Ｏは上申しなくてそれは卵胞発育でない fact4: 仮にあの無風状態が色好いということはないとしたらそれは上申しない fact5: このＨ二Ｏは卵胞発育でない ; $hypothesis$ = 「「このＨ二Ｏは上申しなくてその上それは卵胞発育でない」ということは本当だ」ということは事実と異なる ; $proof$ = 
fact4 & fact1 -> int1: あの無風状態は上申するということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの無風状態は色好いということはない
事実2: あの無風状態は卵胞発育だということはない
事実3: あの無風状態が上申しないならばこのＨ二Ｏは上申しなくてそれは卵胞発育でない
事実4: 仮にあの無風状態が色好いということはないとしたらそれは上申しない
事実5: このＨ二Ｏは卵胞発育でない

仮説: 「「このＨ二Ｏは上申しなくてその上それは卵胞発育でない」ということは本当だ」ということは事実と異なる
1. 事実4と事実1から、推論1: "あの無風状態は上申するということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。