その棋界は削ぎ落とさないしそれにそれは逞しいということはない
fact1: この同棲中は中間領域である fact2: もしもなんらかのものはフォワード・アップ地図であるなら父無し子でない fact3: 「この同棲中は曇り無しけど踏ん切らない」ということは誤りである fact4: 仮に「何かは軽挙妄動でないけれど最終処分場だ」ということは成り立たないとすると「それはフォワード・アップ地図であるということはない」ということは成り立つ fact5: もしこの同棲中が気付き易いということはないならこの各省大臣は気付き易いしフォワード・アップ地図である fact6: 仮に「あの粗製乱造は最終処分場でない」ということは真実だとすると「あの吹上型は逞しくなくてかつそれは最終処分場でない」ということは嘘だ fact7: もし仮にあるものが中間領域でないならばそれは削ぎ落とさなくてそれは逞しくない fact8: もしもその棋界は逞しくないとすると「この各省大臣はフォワード・アップ地図でないしおまけに逞しくない」ということは誤りだ fact9: もしあの粗製乱造は逞しくないとすれば「その棋界は削ぎ落とさないしそれに逞しくない」ということは誤りである fact10: 何かはフォワード・アップ地図でないとしたらそれは気付き易くない一方で中間領域である fact11: もしもあの吹上型は最終処分場ならば「あの粗製乱造は軽挙妄動でないがそれは最終処分場である」ということは誤っている fact12: あの粗製乱造は逞しくないならば「その棋界は削ぎ落とすが逞しくない」ということは偽だ fact13: 「あの粗製乱造は軽挙妄動でないけれど最終処分場である」ということは嘘だとしたら「それは逞しいということはない」ということは事実である fact14: 仮にこの同棲中が中間領域だとしたらそれは気付き易くない fact15: その棋界が気付き易いとすればそれは逞しくない fact16: この各省大臣は賦課金割り当てでない fact17: もしもこの各省大臣は気付き易いとすると「あの粗製乱造は最終処分場でないけど気付き易い」ということは事実と異なる fact18: もし仮にその棋界は中間領域であるならば「この同棲中は逞しいしその上中間領域である」ということは偽だ fact19: もしこの各省大臣が気付き易いとするとあの吹上型は最終処分場だ fact20: この各省大臣は中間領域だ fact21: あの粗製乱造は軽挙妄動であるとするとそれは逞しいということはない fact22: もし仮にこの各省大臣は日豊本線でないならば「この同棲中は軽挙妄動でないけど最終処分場だ」ということは間違っている
fact14 & fact1 -> int1: この同棲中は気付き易くない; int1 & fact5 -> int2: この各省大臣は気付き易いしかつフォワード・アップ地図である; int2 -> int3: 「この各省大臣は気付き易い」ということは成り立つ; int3 & fact19 -> int4: あの吹上型は最終処分場だ; int4 & fact11 -> int5: 「あの粗製乱造は軽挙妄動であるということはない一方で最終処分場だ」ということは確かでない; int5 & fact13 -> int6: あの粗製乱造は逞しくない; int6 & fact9 -> hypothesis;
もしも「あの記載事項はフォワード・アップ地図だ」ということは確かであるとしたら父無し子でない
fact23 -> 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$ = 
fact14 & fact1 -> int1: この同棲中は気付き易くない; int1 & fact5 -> int2: この各省大臣は気付き易いしかつフォワード・アップ地図である; int2 -> int3: 「この各省大臣は気付き易い」ということは成り立つ; int3 & fact19 -> int4: あの吹上型は最終処分場だ; int4 & fact11 -> int5: 「あの粗製乱造は軽挙妄動であるということはない一方で最終処分場だ」ということは確かでない; int5 & fact13 -> int6: あの粗製乱造は逞しくない; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: この同棲中は中間領域である
事実2: もしもなんらかのものはフォワード・アップ地図であるなら父無し子でない
事実3: 「この同棲中は曇り無しけど踏ん切らない」ということは誤りである
事実4: 仮に「何かは軽挙妄動でないけれど最終処分場だ」ということは成り立たないとすると「それはフォワード・アップ地図であるということはない」ということは成り立つ
事実5: もしこの同棲中が気付き易いということはないならこの各省大臣は気付き易いしフォワード・アップ地図である
事実6: 仮に「あの粗製乱造は最終処分場でない」ということは真実だとすると「あの吹上型は逞しくなくてかつそれは最終処分場でない」ということは嘘だ
事実7: もし仮にあるものが中間領域でないならばそれは削ぎ落とさなくてそれは逞しくない
事実8: もしもその棋界は逞しくないとすると「この各省大臣はフォワード・アップ地図でないしおまけに逞しくない」ということは誤りだ
事実9: もしあの粗製乱造は逞しくないとすれば「その棋界は削ぎ落とさないしそれに逞しくない」ということは誤りである
事実10: 何かはフォワード・アップ地図でないとしたらそれは気付き易くない一方で中間領域である
事実11: もしもあの吹上型は最終処分場ならば「あの粗製乱造は軽挙妄動でないがそれは最終処分場である」ということは誤っている
事実12: あの粗製乱造は逞しくないならば「その棋界は削ぎ落とすが逞しくない」ということは偽だ
事実13: 「あの粗製乱造は軽挙妄動でないけれど最終処分場である」ということは嘘だとしたら「それは逞しいということはない」ということは事実である
事実14: 仮にこの同棲中が中間領域だとしたらそれは気付き易くない
事実15: その棋界が気付き易いとすればそれは逞しくない
事実16: この各省大臣は賦課金割り当てでない
事実17: もしもこの各省大臣は気付き易いとすると「あの粗製乱造は最終処分場でないけど気付き易い」ということは事実と異なる
事実18: もし仮にその棋界は中間領域であるならば「この同棲中は逞しいしその上中間領域である」ということは偽だ
事実19: もしこの各省大臣が気付き易いとするとあの吹上型は最終処分場だ
事実20: この各省大臣は中間領域だ
事実21: あの粗製乱造は軽挙妄動であるとするとそれは逞しいということはない
事実22: もし仮にこの各省大臣は日豊本線でないならば「この同棲中は軽挙妄動でないけど最終処分場だ」ということは間違っている

仮説: その棋界は削ぎ落とさないしそれにそれは逞しいということはない
1. 事実14と事実1から、推論1: "この同棲中は気付き易くない"が導かれる
2. 推論1と事実5から、推論2: "この各省大臣は気付き易いしかつフォワード・アップ地図である"が導かれる
3. 推論2から、推論3: "「この各省大臣は気付き易い」ということは成り立つ"が導かれる
4. 推論3と事実19から、推論4: "あの吹上型は最終処分場だ"が導かれる
5. 推論4と事実11から、推論5: "「あの粗製乱造は軽挙妄動であるということはない一方で最終処分場だ」ということは確かでない"が導かれる
6. 推論5と事実13から、推論6: "あの粗製乱造は逞しくない"が導かれる
7. 推論6と事実9から、仮説が否定される

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