「この計量分析は同県であるかもしくはそれは迎え角であるかあるいは両方である」ということは間違っている
fact1: 「相同染色体でなくて家庭生活でない」物はある fact2: もしこの計量分析が受胎告知でないし加えてそれが迎え角でないとすればあの総収入額は飲まない fact3: この優等生はござんさない fact4: もし仮にその教養部廃止がござんさないとすれば早いけど喚き続けるということはない fact5: その教養部廃止はござんさない fact6: もし仮になんらかの物は個人データでないとしたら「それは動き始めなくて更に同盟しない」ということは誤りである fact7: もし仮にあるものは早くないならば「愚かしくないしさらに茶色っぽくない」ということは間違っている fact8: あの華麗は新し fact9: もし何らかのものはござんさないならば「「それは同県であるかあるいは迎え角であるかもしくは両方である」ということは間違いであるということはない」ということは間違いだ fact10: その手料理は御若いが個人データでない fact11: もしもその教養部廃止が早いけどそれが喚き続けないとすればあの計量分析は受胎告知でない fact12: 「「「動き始めなくてしかも同盟するということはない」ということは間違っている」ものはある」ということは事実であるとすればあの総収入額は飲む
fact4 & fact5 -> int1: その教養部廃止は早いけれど喚き続けるということはない; int1 & fact11 -> int2: この計量分析は受胎告知でない; void -> assump1: 以下のように仮定する。この計量分析は迎え角でない; int2 & assump1 -> int3: この計量分析は受胎告知であるということはなくてそれは迎え角でない; int3 & fact2 -> int4: 「あの総収入額は飲まない」ということは成り立つ; fact10 -> int5: その手料理は個人データでない; fact6 -> int6: もし仮にその手料理は個人データでないならば「それは動き始めなくて同盟しない」ということは誤りだ; int5 & int6 -> int7: 「その手料理は動き始めなくてかつそれは同盟しない」ということは成り立つということはない; int7 -> int8: 「「動き始めないしさらに同盟しない」ということは事実でない」物はある; int8 & fact12 -> int9: あの総収入額は飲む; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この計量分析は迎え角だ; int11 -> hypothesis;
もしその全校は早くないとすると「「それは愚かしくないし加えてそれは茶色っぽくない」ということは成り立つ」ということは成り立たない
fact13 -> hypothesis;
$facts$ = fact1: 「相同染色体でなくて家庭生活でない」物はある fact2: もしこの計量分析が受胎告知でないし加えてそれが迎え角でないとすればあの総収入額は飲まない fact3: この優等生はござんさない fact4: もし仮にその教養部廃止がござんさないとすれば早いけど喚き続けるということはない fact5: その教養部廃止はござんさない fact6: もし仮になんらかの物は個人データでないとしたら「それは動き始めなくて更に同盟しない」ということは誤りである fact7: もし仮にあるものは早くないならば「愚かしくないしさらに茶色っぽくない」ということは間違っている fact8: あの華麗は新し fact9: もし何らかのものはござんさないならば「「それは同県であるかあるいは迎え角であるかもしくは両方である」ということは間違いであるということはない」ということは間違いだ fact10: その手料理は御若いが個人データでない fact11: もしもその教養部廃止が早いけどそれが喚き続けないとすればあの計量分析は受胎告知でない fact12: 「「「動き始めなくてしかも同盟するということはない」ということは間違っている」ものはある」ということは事実であるとすればあの総収入額は飲む ; $hypothesis$ = 「この計量分析は同県であるかもしくはそれは迎え角であるかあるいは両方である」ということは間違っている ; $proof$ = 
fact4 & fact5 -> int1: その教養部廃止は早いけれど喚き続けるということはない; int1 & fact11 -> int2: この計量分析は受胎告知でない; void -> assump1: 以下のように仮定する。この計量分析は迎え角でない; int2 & assump1 -> int3: この計量分析は受胎告知であるということはなくてそれは迎え角でない; int3 & fact2 -> int4: 「あの総収入額は飲まない」ということは成り立つ; fact10 -> int5: その手料理は個人データでない; fact6 -> int6: もし仮にその手料理は個人データでないならば「それは動き始めなくて同盟しない」ということは誤りだ; int5 & int6 -> int7: 「その手料理は動き始めなくてかつそれは同盟しない」ということは成り立つということはない; int7 -> int8: 「「動き始めないしさらに同盟しない」ということは事実でない」物はある; int8 & fact12 -> int9: あの総収入額は飲む; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この計量分析は迎え角だ; int11 -> hypothesis; __DISPROVED__
事実1: 「相同染色体でなくて家庭生活でない」物はある
事実2: もしこの計量分析が受胎告知でないし加えてそれが迎え角でないとすればあの総収入額は飲まない
事実3: この優等生はござんさない
事実4: もし仮にその教養部廃止がござんさないとすれば早いけど喚き続けるということはない
事実5: その教養部廃止はござんさない
事実6: もし仮になんらかの物は個人データでないとしたら「それは動き始めなくて更に同盟しない」ということは誤りである
事実7: もし仮にあるものは早くないならば「愚かしくないしさらに茶色っぽくない」ということは間違っている
事実8: あの華麗は新し
事実9: もし何らかのものはござんさないならば「「それは同県であるかあるいは迎え角であるかもしくは両方である」ということは間違いであるということはない」ということは間違いだ
事実10: その手料理は御若いが個人データでない
事実11: もしもその教養部廃止が早いけどそれが喚き続けないとすればあの計量分析は受胎告知でない
事実12: 「「「動き始めなくてしかも同盟するということはない」ということは間違っている」ものはある」ということは事実であるとすればあの総収入額は飲む

仮説: 「この計量分析は同県であるかもしくはそれは迎え角であるかあるいは両方である」ということは間違っている
1. 事実4と事実5から、推論1: "その教養部廃止は早いけれど喚き続けるということはない"が導かれる
2. 推論1と事実11から、推論2: "この計量分析は受胎告知でない"が導かれる
3. 仮定1: 以下のように仮定する。この計量分析は迎え角でない
4. 推論2と仮定1から、推論3: "この計量分析は受胎告知であるということはなくてそれは迎え角でない"が導かれる
5. 推論3と事実2から、推論4: "「あの総収入額は飲まない」ということは成り立つ"が導かれる
6. 事実10から、推論5: "その手料理は個人データでない"が導かれる
7. 事実6から、推論6: "もし仮にその手料理は個人データでないならば「それは動き始めなくて同盟しない」ということは誤りだ"が導かれる
8. 推論5と推論6から、推論7: "「その手料理は動き始めなくてかつそれは同盟しない」ということは成り立つということはない"が導かれる
9. 推論7から、推論8: "「「動き始めないしさらに同盟しない」ということは事実でない」物はある"が導かれる
10. 推論8と事実12から、推論9: "あの総収入額は飲む"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "この計量分析は迎え角だ"が導かれる
13. 推論11から、仮説が否定される

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