そのリサイクルロンド気婦は催す
fact1: 仮にこの集団中が柳刃包丁であるしまたそれが売り込むならそのリサイクルロンド気婦は催さない fact2: もしもこの新制高校が催すならそのリサイクルロンド気婦は催す fact3: 仮にそのリサイクルロンド気婦が催さなくてまた売り込まないならこの新制高校は売り込む fact4: 「この新制高校はおもろくないししゃあ無くない」ということは成り立たない fact5: もしも「この同業はしゃあ無いかもしくはおもろいか両方である」ということは間違っているとするとこの純正律は条約目的でない fact6: 仮にこの純正律が条約目的でないならばその科学的社会主義は売り込むか美術鑑賞であるかもしくはどちらもだ fact7: もしもこの新制高校は柳刃包丁でないならばレンタルショップでないがガードだ fact8: もしこの同業は近しくないとすると「しゃあ無いかまたはそれはおもろい」ということは間違いだ fact9: あの友人等は継承すとすると「走り続けないしそれにそれは観光客達でない」ということは成り立たない fact10: 何かは条約目的でないし美術鑑賞でない fact11: この集団中は定期購読だということはない fact12: もしもなにがしかの物が条約目的でないししかもそれは美術鑑賞でないならば「この集団中は売り込む」ということは成り立つ fact13: 仮にあるものが柳刃包丁だということはないとするとそれは予知出来ないしまたそれはガードだ fact14: 仮に「あの友人等は走り続けなくてその上観光客達でない」ということは事実と異なるならこの同業は近しくない fact15: 「あの友人等は継承す」ということは確かだ fact16: もし仮にこの集団中は予知出来るということはないなら「定期購読だということはないし更に親しみ易くない」ということは事実と異なる fact17: もし何かは定期購読であるなら親しみ易くなくてまたそれは柳刃包丁でない fact18: 仮に「この新制高校はおもろくないししかもそれはしゃあ無くない」ということは誤っているとすればあの集団中は親しみ易くない
fact13 -> int1: もし仮にこの集団中が柳刃包丁でないとするとそれは予知出来ないしそれにガードだ; void -> assump1: 以下のように仮定する。この集団中は柳刃包丁でない; int1 & assump1 -> int2: この集団中は予知出来ないがそれはガードだ; int2 -> int3: 「この集団中は予知出来ない」ということは真実である; int3 & fact16 -> int4: 「この集団中は定期購読であるということはないし親しみ易くない」ということは成り立たない; fact4 & fact18 -> int5: 「この集団中は親しみ易くない」ということは事実だ; fact11 & int5 -> int6: 「この集団中は定期購読でなくて更に親しみ易くない」ということは確かだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この集団中は柳刃包丁である」ということは偽であるということはない; fact10 & fact12 -> int9: この集団中は売り込む; int8 & int9 -> int10: この集団中は柳刃包丁であるししかも売り込む; int10 & fact1 -> hypothesis;
この新制高校はレンタルショップでない一方でガードである
fact21 -> int11: もし仮にこの新制高校は定期購読であるとすると親しみ易くないし柳刃包丁でない;
$facts$ = fact1: 仮にこの集団中が柳刃包丁であるしまたそれが売り込むならそのリサイクルロンド気婦は催さない fact2: もしもこの新制高校が催すならそのリサイクルロンド気婦は催す fact3: 仮にそのリサイクルロンド気婦が催さなくてまた売り込まないならこの新制高校は売り込む fact4: 「この新制高校はおもろくないししゃあ無くない」ということは成り立たない fact5: もしも「この同業はしゃあ無いかもしくはおもろいか両方である」ということは間違っているとするとこの純正律は条約目的でない fact6: 仮にこの純正律が条約目的でないならばその科学的社会主義は売り込むか美術鑑賞であるかもしくはどちらもだ fact7: もしもこの新制高校は柳刃包丁でないならばレンタルショップでないがガードだ fact8: もしこの同業は近しくないとすると「しゃあ無いかまたはそれはおもろい」ということは間違いだ fact9: あの友人等は継承すとすると「走り続けないしそれにそれは観光客達でない」ということは成り立たない fact10: 何かは条約目的でないし美術鑑賞でない fact11: この集団中は定期購読だということはない fact12: もしもなにがしかの物が条約目的でないししかもそれは美術鑑賞でないならば「この集団中は売り込む」ということは成り立つ fact13: 仮にあるものが柳刃包丁だということはないとするとそれは予知出来ないしまたそれはガードだ fact14: 仮に「あの友人等は走り続けなくてその上観光客達でない」ということは事実と異なるならこの同業は近しくない fact15: 「あの友人等は継承す」ということは確かだ fact16: もし仮にこの集団中は予知出来るということはないなら「定期購読だということはないし更に親しみ易くない」ということは事実と異なる fact17: もし何かは定期購読であるなら親しみ易くなくてまたそれは柳刃包丁でない fact18: 仮に「この新制高校はおもろくないししかもそれはしゃあ無くない」ということは誤っているとすればあの集団中は親しみ易くない ; $hypothesis$ = そのリサイクルロンド気婦は催す ; $proof$ = 
fact13 -> int1: もし仮にこの集団中が柳刃包丁でないとするとそれは予知出来ないしそれにガードだ; void -> assump1: 以下のように仮定する。この集団中は柳刃包丁でない; int1 & assump1 -> int2: この集団中は予知出来ないがそれはガードだ; int2 -> int3: 「この集団中は予知出来ない」ということは真実である; int3 & fact16 -> int4: 「この集団中は定期購読であるということはないし親しみ易くない」ということは成り立たない; fact4 & fact18 -> int5: 「この集団中は親しみ易くない」ということは事実だ; fact11 & int5 -> int6: 「この集団中は定期購読でなくて更に親しみ易くない」ということは確かだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この集団中は柳刃包丁である」ということは偽であるということはない; fact10 & fact12 -> int9: この集団中は売り込む; int8 & int9 -> int10: この集団中は柳刃包丁であるししかも売り込む; int10 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの集団中が柳刃包丁であるしまたそれが売り込むならそのリサイクルロンド気婦は催さない
事実2: もしもこの新制高校が催すならそのリサイクルロンド気婦は催す
事実3: 仮にそのリサイクルロンド気婦が催さなくてまた売り込まないならこの新制高校は売り込む
事実4: 「この新制高校はおもろくないししゃあ無くない」ということは成り立たない
事実5: もしも「この同業はしゃあ無いかもしくはおもろいか両方である」ということは間違っているとするとこの純正律は条約目的でない
事実6: 仮にこの純正律が条約目的でないならばその科学的社会主義は売り込むか美術鑑賞であるかもしくはどちらもだ
事実7: もしもこの新制高校は柳刃包丁でないならばレンタルショップでないがガードだ
事実8: もしこの同業は近しくないとすると「しゃあ無いかまたはそれはおもろい」ということは間違いだ
事実9: あの友人等は継承すとすると「走り続けないしそれにそれは観光客達でない」ということは成り立たない
事実10: 何かは条約目的でないし美術鑑賞でない
事実11: この集団中は定期購読だということはない
事実12: もしもなにがしかの物が条約目的でないししかもそれは美術鑑賞でないならば「この集団中は売り込む」ということは成り立つ
事実13: 仮にあるものが柳刃包丁だということはないとするとそれは予知出来ないしまたそれはガードだ
事実14: 仮に「あの友人等は走り続けなくてその上観光客達でない」ということは事実と異なるならこの同業は近しくない
事実15: 「あの友人等は継承す」ということは確かだ
事実16: もし仮にこの集団中は予知出来るということはないなら「定期購読だということはないし更に親しみ易くない」ということは事実と異なる
事実17: もし何かは定期購読であるなら親しみ易くなくてまたそれは柳刃包丁でない
事実18: 仮に「この新制高校はおもろくないししかもそれはしゃあ無くない」ということは誤っているとすればあの集団中は親しみ易くない

仮説: そのリサイクルロンド気婦は催す
1. 事実13から、推論1: "もし仮にこの集団中が柳刃包丁でないとするとそれは予知出来ないしそれにガードだ"が導かれる
2. 仮定1: 以下のように仮定する。この集団中は柳刃包丁でない
3. 推論1と仮定1から、推論2: "この集団中は予知出来ないがそれはガードだ"が導かれる
4. 推論2から、推論3: "「この集団中は予知出来ない」ということは真実である"が導かれる
5. 推論3と事実16から、推論4: "「この集団中は定期購読であるということはないし親しみ易くない」ということは成り立たない"が導かれる
6. 事実4と事実18から、推論5: "「この集団中は親しみ易くない」ということは事実だ"が導かれる
7. 事実11と推論5から、推論6: "「この集団中は定期購読でなくて更に親しみ易くない」ということは確かだ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この集団中は柳刃包丁である」ということは偽であるということはない"が導かれる
10. 事実10と事実12から、推論9: "この集団中は売り込む"が導かれる
11. 推論8と推論9から、推論10: "この集団中は柳刃包丁であるししかも売り込む"が導かれる
12. 推論10と事実1から、仮説が否定される

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