「その花舌は倒れ難いということはない」ということは成り立つ
fact1: もしあの仮説検定が授乳するとしたらその花舌は倒れ難くない fact2: 「なにかは集計表だ一方でそれは鮮血でない」ということは成り立たないならばそれは授乳する fact3: 「その花舌は授乳しない一方で集計表だ」ということは間違っているならばあの退学率は集計表でない fact4: それは集計表だけど鮮血でないというものはない
fact4 -> int1: 「あの仮説検定は集計表であるがしかし鮮血でない」ということは成り立たない; fact2 -> int2: 仮に「「あの仮説検定は集計表であるが鮮血でない」ということは成り立たない」ということは真実ならそれは授乳する; int1 & int2 -> int3: あの仮説検定は授乳する; int3 & fact1 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; int3 & fact1 -> hypothesis;
あの退学率は集計表でない
$facts$ = fact1: もしあの仮説検定が授乳するとしたらその花舌は倒れ難くない fact2: 「なにかは集計表だ一方でそれは鮮血でない」ということは成り立たないならばそれは授乳する fact3: 「その花舌は授乳しない一方で集計表だ」ということは間違っているならばあの退学率は集計表でない fact4: それは集計表だけど鮮血でないというものはない ; $hypothesis$ = 「その花舌は倒れ難いということはない」ということは成り立つ ; $proof$ = 
fact4 -> int1: 「あの仮説検定は集計表であるがしかし鮮血でない」ということは成り立たない; fact2 -> int2: 仮に「「あの仮説検定は集計表であるが鮮血でない」ということは成り立たない」ということは真実ならそれは授乳する; int1 & int2 -> int3: あの仮説検定は授乳する; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあの仮説検定が授乳するとしたらその花舌は倒れ難くない
事実2: 「なにかは集計表だ一方でそれは鮮血でない」ということは成り立たないならばそれは授乳する
事実3: 「その花舌は授乳しない一方で集計表だ」ということは間違っているならばあの退学率は集計表でない
事実4: それは集計表だけど鮮血でないというものはない

仮説: 「その花舌は倒れ難いということはない」ということは成り立つ
1. 事実4から、推論1: "「あの仮説検定は集計表であるがしかし鮮血でない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "仮に「「あの仮説検定は集計表であるが鮮血でない」ということは成り立たない」ということは真実ならそれは授乳する"が導かれる
3. 推論1と推論2から、推論3: "あの仮説検定は授乳する"が導かれる
4. 推論3と事実1から、仮説が導かれる

よって、仮説が証明されました。