「そのＴ検定は比島沖海戦であるということはないけど荒い」ということは成り立たないとしたらその乳酸発酵は意味深くない
fact1: もしそのＴ検定が花輪でないとするとその各画素は花輪だということはないし更に住み易くない fact2: 「仮に「何らかのものは比島沖海戦であるということはないけれどそれは荒い」ということは成り立たないなら花輪でない」ということは確かだ fact3: なにかは花輪であるということはないし住み易くないとしたらその乳酸発酵は意味深い fact4: もしも「その各画素は荒くない一方で比島沖海戦だ」ということは確かでないならばあのＴ検定は花輪でない fact5: 何かは意味深くないけれどそれは荒い fact6: もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは嘘だとすればあの乳酸発酵は意味深い fact7: 「花輪である一方で住み易くない」ものがあるとしたらその乳酸発酵は意味深くない fact8: もし「そのＴ検定は比島沖海戦だということはないけれど住み易い」ということは成り立たないならその各画素は花輪でない fact9: もしその乳酸発酵が意味深くないとすればそのＴ検定は意味深いということはなくてかつ花輪だということはない fact10: 「その各画素は意味深いということはない」ということは成り立つ fact11: 「花輪でない」物はある fact12: 「花輪でなくて住み易くない」物があるならその乳酸発酵は意味深くない fact13: その乳酸発酵は意味深い fact14: 荒くないものは花輪でない fact15: その各画素は花輪でない fact16: 仮に「そのＴ検定は荒くない」ということは成り立つとすれば「それは花輪でない」ということは正しい fact17: もしそのＴ検定が花輪でないとするとその各画素は花輪でない fact18: もしもそのＴ検定が荒いということはないとしたらその乳酸発酵は意味深いということはない fact19: 仮に「「その各画素は住み易くないけど花輪だ」ということは誤りである」ということは事実であるならば意味深くない fact20: 取り扱い易いということはないしそれに止む無くない物はある fact21: 「その乳酸発酵は荒くない」ということは本当である fact22: もしある物が受け入れられ易くないし止む無くないとするとその吸血鬼は荒くない
fact2 -> int1: もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは成り立つということはないなら花輪でない; void -> assump1: 以下のように仮定する。「そのＴ検定は比島沖海戦でないがしかし荒い」ということは誤りだ; int1 & assump1 -> int2: そのＴ検定は花輪でない; int2 & fact1 -> int3: その各画素は花輪でなくてかつ住み易くない; int3 -> int4: 「花輪でなくて住み易くない」物はある; int4 & fact12 -> int5: その乳酸発酵は意味深くない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしそのＴ検定が花輪でないとするとその各画素は花輪だということはないし更に住み易くない fact2: 「仮に「何らかのものは比島沖海戦であるということはないけれどそれは荒い」ということは成り立たないなら花輪でない」ということは確かだ fact3: なにかは花輪であるということはないし住み易くないとしたらその乳酸発酵は意味深い fact4: もしも「その各画素は荒くない一方で比島沖海戦だ」ということは確かでないならばあのＴ検定は花輪でない fact5: 何かは意味深くないけれどそれは荒い fact6: もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは嘘だとすればあの乳酸発酵は意味深い fact7: 「花輪である一方で住み易くない」ものがあるとしたらその乳酸発酵は意味深くない fact8: もし「そのＴ検定は比島沖海戦だということはないけれど住み易い」ということは成り立たないならその各画素は花輪でない fact9: もしその乳酸発酵が意味深くないとすればそのＴ検定は意味深いということはなくてかつ花輪だということはない fact10: 「その各画素は意味深いということはない」ということは成り立つ fact11: 「花輪でない」物はある fact12: 「花輪でなくて住み易くない」物があるならその乳酸発酵は意味深くない fact13: その乳酸発酵は意味深い fact14: 荒くないものは花輪でない fact15: その各画素は花輪でない fact16: 仮に「そのＴ検定は荒くない」ということは成り立つとすれば「それは花輪でない」ということは正しい fact17: もしそのＴ検定が花輪でないとするとその各画素は花輪でない fact18: もしもそのＴ検定が荒いということはないとしたらその乳酸発酵は意味深いということはない fact19: 仮に「「その各画素は住み易くないけど花輪だ」ということは誤りである」ということは事実であるならば意味深くない fact20: 取り扱い易いということはないしそれに止む無くない物はある fact21: 「その乳酸発酵は荒くない」ということは本当である fact22: もしある物が受け入れられ易くないし止む無くないとするとその吸血鬼は荒くない ; $hypothesis$ = 「そのＴ検定は比島沖海戦であるということはないけど荒い」ということは成り立たないとしたらその乳酸発酵は意味深くない ; $proof$ = 
fact2 -> int1: もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは成り立つということはないなら花輪でない; void -> assump1: 以下のように仮定する。「そのＴ検定は比島沖海戦でないがしかし荒い」ということは誤りだ; int1 & assump1 -> int2: そのＴ検定は花輪でない; int2 & fact1 -> int3: その各画素は花輪でなくてかつ住み易くない; int3 -> int4: 「花輪でなくて住み易くない」物はある; int4 & fact12 -> int5: その乳酸発酵は意味深くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしそのＴ検定が花輪でないとするとその各画素は花輪だということはないし更に住み易くない
事実2: 「仮に「何らかのものは比島沖海戦であるということはないけれどそれは荒い」ということは成り立たないなら花輪でない」ということは確かだ
事実3: なにかは花輪であるということはないし住み易くないとしたらその乳酸発酵は意味深い
事実4: もしも「その各画素は荒くない一方で比島沖海戦だ」ということは確かでないならばあのＴ検定は花輪でない
事実5: 何かは意味深くないけれどそれは荒い
事実6: もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは嘘だとすればあの乳酸発酵は意味深い
事実7: 「花輪である一方で住み易くない」ものがあるとしたらその乳酸発酵は意味深くない
事実8: もし「そのＴ検定は比島沖海戦だということはないけれど住み易い」ということは成り立たないならその各画素は花輪でない
事実9: もしその乳酸発酵が意味深くないとすればそのＴ検定は意味深いということはなくてかつ花輪だということはない
事実10: 「その各画素は意味深いということはない」ということは成り立つ
事実11: 「花輪でない」物はある
事実12: 「花輪でなくて住み易くない」物があるならその乳酸発酵は意味深くない
事実13: その乳酸発酵は意味深い
事実14: 荒くないものは花輪でない
事実15: その各画素は花輪でない
事実16: 仮に「そのＴ検定は荒くない」ということは成り立つとすれば「それは花輪でない」ということは正しい
事実17: もしそのＴ検定が花輪でないとするとその各画素は花輪でない
事実18: もしもそのＴ検定が荒いということはないとしたらその乳酸発酵は意味深いということはない
事実19: 仮に「「その各画素は住み易くないけど花輪だ」ということは誤りである」ということは事実であるならば意味深くない
事実20: 取り扱い易いということはないしそれに止む無くない物はある
事実21: 「その乳酸発酵は荒くない」ということは本当である
事実22: もしある物が受け入れられ易くないし止む無くないとするとその吸血鬼は荒くない

仮説: 「そのＴ検定は比島沖海戦であるということはないけど荒い」ということは成り立たないとしたらその乳酸発酵は意味深くない
1. 事実2から、推論1: "もしも「そのＴ検定は比島沖海戦でないけれど荒い」ということは成り立つということはないなら花輪でない"が導かれる
2. 仮定1: 以下のように仮定する。「そのＴ検定は比島沖海戦でないがしかし荒い」ということは誤りだ
3. 推論1と仮定1から、推論2: "そのＴ検定は花輪でない"が導かれる
4. 推論2と事実1から、推論3: "その各画素は花輪でなくてかつ住み易くない"が導かれる
5. 推論3から、推論4: "「花輪でなくて住み易くない」物はある"が導かれる
6. 推論4と事実12から、推論5: "その乳酸発酵は意味深くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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