あの所行は斟酌す
fact1: あるものはニアであるということはないとしたらそれは出来難くない fact2: あの所行は出来難いということはない fact3: あの男一筋は一曲線だ fact4: なにかはニアでないなら斟酌すらないしさらに出来難くない fact5: 仮に「そのＦ運送会社はコーディネイトするし付き合わす」ということは誤りであるとするとあの所行はニアでない fact6: あの所行が仕事出来ればそのＦ運送会社はニアだ fact7: そのＦ運送会社は御優しくない fact8: もし仮になにがしかのものが御優しいとすると斟酌す fact9: 「この課税率は出来難くてそれは御寄せ下さる」ということは成り立たない fact10: 「あの男一筋は許容濃度値だ」ということは成り立つ fact11: なにがしかのものが斟酌すならそれは御優しい fact12: 「あの所行はコーディネイトするしそれにニアである」ということは誤りである fact13: 否定し難いということはない物は斟酌すしさらにオレンジＭだ fact14: そのＦ運送会社は御優しくないなら「それはコーディネイトするしおまけにそれは付き合わす」ということは事実と異なる fact15: もしも「あの所行は付き合わすしまたニアだ」ということは偽だとすればそのＦ運送会社は斟酌すということはない fact16: もしあの発生源が仕事出来るけど許容濃度値でないならばあのＦ運送会社は否定し難くない fact17: もし仮に一曲線は許容濃度値であるならそれは否定し難くない fact18: もしもニアが御優しいとするとそれは出来難いということはない fact19: そのＦ運送会社がニアならあの男一筋はニアである fact20: あるものは否定し難いということはないとすると「それはオレンジＭでないし出来難くない」ということは誤っている fact21: あの所行は仕事出来るしまた芸術分野だ fact22: 「あの所行はニアでない」ということは成り立つとしたらそれは出来難くない fact23: もし「そのＦ運送会社はオレンジＭでないししかも出来難くない」ということは誤っているとするとあの所行はニアである fact24: もし仮にそのＦ運送会社がコーディネイトしないならばあの所行はニアでない
fact14 & fact7 -> int1: 「そのＦ運送会社はコーディネイトするし更に付き合わす」ということは誤りである; int1 & fact5 -> int2: あの所行はニアでない; fact4 -> int3: もしあの所行がニアでないとしたら斟酌すらなくてまたそれは出来難くない; int2 & int3 -> int4: あの所行は斟酌すということはないしかつ出来難くない; int4 -> hypothesis;
あの男一筋は出来難いということはない
fact29 -> int5: もしもあの男一筋がニアで更に御優しいとすると「出来難い」ということは成り立たない; fact25 -> int6: あの所行は仕事出来る; fact26 & int6 -> int7: そのＦ運送会社はニアである; fact30 & int7 -> int8: 「あの男一筋はニアだ」ということは成り立つ; fact31 -> int9: もしもあの男一筋が斟酌すとするとそれは御優しい; fact27 -> int10: もしもあの男一筋が否定し難くないとするとそれは斟酌すししかもそれはオレンジＭだ; fact32 -> int11: もし仮にあの男一筋が一曲線だしさらに許容濃度値であるとするとそれは否定し難くない; fact33 & fact28 -> int12: あの男一筋は一曲線であるし許容濃度値である; int11 & int12 -> int13: あの男一筋は否定し難くない; int10 & int13 -> int14: 「あの男一筋は斟酌すしオレンジＭである」ということは本当だ; int14 -> int15: あの男一筋は斟酌す; int9 & int15 -> int16: あの男一筋は御優しい; int8 & int16 -> int17: あの男一筋はニアであるし更に御優しい; int5 & int17 -> hypothesis;
$facts$ = fact1: あるものはニアであるということはないとしたらそれは出来難くない fact2: あの所行は出来難いということはない fact3: あの男一筋は一曲線だ fact4: なにかはニアでないなら斟酌すらないしさらに出来難くない fact5: 仮に「そのＦ運送会社はコーディネイトするし付き合わす」ということは誤りであるとするとあの所行はニアでない fact6: あの所行が仕事出来ればそのＦ運送会社はニアだ fact7: そのＦ運送会社は御優しくない fact8: もし仮になにがしかのものが御優しいとすると斟酌す fact9: 「この課税率は出来難くてそれは御寄せ下さる」ということは成り立たない fact10: 「あの男一筋は許容濃度値だ」ということは成り立つ fact11: なにがしかのものが斟酌すならそれは御優しい fact12: 「あの所行はコーディネイトするしそれにニアである」ということは誤りである fact13: 否定し難いということはない物は斟酌すしさらにオレンジＭだ fact14: そのＦ運送会社は御優しくないなら「それはコーディネイトするしおまけにそれは付き合わす」ということは事実と異なる fact15: もしも「あの所行は付き合わすしまたニアだ」ということは偽だとすればそのＦ運送会社は斟酌すということはない fact16: もしあの発生源が仕事出来るけど許容濃度値でないならばあのＦ運送会社は否定し難くない fact17: もし仮に一曲線は許容濃度値であるならそれは否定し難くない fact18: もしもニアが御優しいとするとそれは出来難いということはない fact19: そのＦ運送会社がニアならあの男一筋はニアである fact20: あるものは否定し難いということはないとすると「それはオレンジＭでないし出来難くない」ということは誤っている fact21: あの所行は仕事出来るしまた芸術分野だ fact22: 「あの所行はニアでない」ということは成り立つとしたらそれは出来難くない fact23: もし「そのＦ運送会社はオレンジＭでないししかも出来難くない」ということは誤っているとするとあの所行はニアである fact24: もし仮にそのＦ運送会社がコーディネイトしないならばあの所行はニアでない ; $hypothesis$ = あの所行は斟酌す ; $proof$ = 
fact14 & fact7 -> int1: 「そのＦ運送会社はコーディネイトするし更に付き合わす」ということは誤りである; int1 & fact5 -> int2: あの所行はニアでない; fact4 -> int3: もしあの所行がニアでないとしたら斟酌すらなくてまたそれは出来難くない; int2 & int3 -> int4: あの所行は斟酌すということはないしかつ出来難くない; int4 -> hypothesis; __DISPROVED__
事実1: あるものはニアであるということはないとしたらそれは出来難くない
事実2: あの所行は出来難いということはない
事実3: あの男一筋は一曲線だ
事実4: なにかはニアでないなら斟酌すらないしさらに出来難くない
事実5: 仮に「そのＦ運送会社はコーディネイトするし付き合わす」ということは誤りであるとするとあの所行はニアでない
事実6: あの所行が仕事出来ればそのＦ運送会社はニアだ
事実7: そのＦ運送会社は御優しくない
事実8: もし仮になにがしかのものが御優しいとすると斟酌す
事実9: 「この課税率は出来難くてそれは御寄せ下さる」ということは成り立たない
事実10: 「あの男一筋は許容濃度値だ」ということは成り立つ
事実11: なにがしかのものが斟酌すならそれは御優しい
事実12: 「あの所行はコーディネイトするしそれにニアである」ということは誤りである
事実13: 否定し難いということはない物は斟酌すしさらにオレンジＭだ
事実14: そのＦ運送会社は御優しくないなら「それはコーディネイトするしおまけにそれは付き合わす」ということは事実と異なる
事実15: もしも「あの所行は付き合わすしまたニアだ」ということは偽だとすればそのＦ運送会社は斟酌すということはない
事実16: もしあの発生源が仕事出来るけど許容濃度値でないならばあのＦ運送会社は否定し難くない
事実17: もし仮に一曲線は許容濃度値であるならそれは否定し難くない
事実18: もしもニアが御優しいとするとそれは出来難いということはない
事実19: そのＦ運送会社がニアならあの男一筋はニアである
事実20: あるものは否定し難いということはないとすると「それはオレンジＭでないし出来難くない」ということは誤っている
事実21: あの所行は仕事出来るしまた芸術分野だ
事実22: 「あの所行はニアでない」ということは成り立つとしたらそれは出来難くない
事実23: もし「そのＦ運送会社はオレンジＭでないししかも出来難くない」ということは誤っているとするとあの所行はニアである
事実24: もし仮にそのＦ運送会社がコーディネイトしないならばあの所行はニアでない

仮説: あの所行は斟酌す
1. 事実14と事実7から、推論1: "「そのＦ運送会社はコーディネイトするし更に付き合わす」ということは誤りである"が導かれる
2. 推論1と事実5から、推論2: "あの所行はニアでない"が導かれる
3. 事実4から、推論3: "もしあの所行がニアでないとしたら斟酌すらなくてまたそれは出来難くない"が導かれる
4. 推論2と推論3から、推論4: "あの所行は斟酌すということはないしかつ出来難くない"が導かれる
5. 推論4から、仮説が否定される

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