「この人形使いは帰り着けるけれど乙種でない」ということは偽である
fact1: とある物は通じ難くないけど正しい fact2: もし「あの新内は資金募集でないしそれは物凄ーいということはない」ということは成り立たないならこの新規事業は飲料費である fact3: もしあるものは批准するとしたら「それは帰り着けるけど乙種だということはない」ということは成り立たない fact4: もし仮にある物は生じ難くないならば「それは属島であるし更に物凄ーい」ということは成り立たない fact5: なにかは批准するなら資金募集だ fact6: もし仮に「「通じ難い」ということは正しい」物はあるとすると「そのカットオフ値は批准する」ということは成り立つ fact7: そのカットオフ値は資金募集だとすると「あの新内は資金募集だということはないが物凄ーい」ということは事実と異なる fact8: もしも「「生じ難いし更に平成○年○月○日だということはない」ということは嘘である」ものがあるとするとこの新規事業は生じ難くない fact9: 「「通じ難くてさらに正しい」ということは誤っている」ものはある fact10: もし仮に何らかのものが生じ難いとしたらこの人形使いは乙種でない fact11: 「あの枯山水は生じ難いけれど平成○年○月○日でない」ということは事実と異なる fact12: もしもこの新規事業は飲料費であるとすると「この人形使いは帰り着ける」ということは確かである fact13: 「あの枯山水は暑いし御断りする」ということは本当である fact14: あの新内が物凄ーいとするとこの新規事業は飲料費だ fact15: 「「通じ難くないけれど正しい」ということは事実と異なる」ものはある fact16: もし仮にあの枯山水が乙種ならこの人形使いは生じ難い fact17: もし仮にそのカットオフ値は資金募集であるとすれば「「あの新内は資金募集でないしまたそれは物凄ーくない」ということは事実と異なる」ということは確かである fact18: もしも「「通じ難くないしかつ正しい」ということは正しくない」ものはあるとしたら「そのカットオフ値は批准する」ということは正しい fact19: もしもこの新規事業が生じ難いということはないしさらに落ち易くないならあの新内は生じ難くない fact20: 「何かは属島であるししかも物凄ーい」ということは成り立つということはないなら物凄ーくない fact21: あの枯山水は生じ難いし属島だ fact22: もし仮にあの新内は物凄ーくないとしたら「そのカットオフ値は資金募集でないし加えて飲料費でない」ということは間違っている fact23: あの枯山水は属島だ fact24: 「あの新内は資金募集でないけれど物凄ーい」ということは偽である
fact15 & fact18 -> int1: そのカットオフ値は批准する; fact5 -> int2: そのカットオフ値が批准するとすれば資金募集である; int1 & int2 -> int3: そのカットオフ値は資金募集だ; int3 & fact17 -> int4: 「あの新内は資金募集でなくて物凄ーくない」ということは成り立たない; int4 & fact2 -> int5: この新規事業は飲料費だ; int5 & fact12 -> int6: この人形使いは帰り着ける; fact21 -> int7: あの枯山水は生じ難い; int7 -> int8: 「生じ難い」ものはある; fact10 & int8 -> int9: この人形使いは乙種でない; int6 & int9 -> hypothesis;
「この人形使いは帰り着けるけれどそれは乙種でない」ということは間違っている
fact30 -> int10: もしこの人形使いは批准するとすると「帰り着けるが乙種でない」ということは正しくない; fact26 -> int11: もし仮に「あの新内が属島だしまた物凄ーい」ということは間違っているとすればそれは物凄ーくない; fact29 -> int12: もしもあの新内は生じ難くないとすれば「属島であるしその上物凄ーい」ということは事実と異なる; fact28 -> int13: 「「生じ難いしかつ平成○年○月○日でない」ということは事実と異なる」物はある; int13 & fact25 -> int14: この新規事業は生じ難いということはない;
$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$ = 
fact15 & fact18 -> int1: そのカットオフ値は批准する; fact5 -> int2: そのカットオフ値が批准するとすれば資金募集である; int1 & int2 -> int3: そのカットオフ値は資金募集だ; int3 & fact17 -> int4: 「あの新内は資金募集でなくて物凄ーくない」ということは成り立たない; int4 & fact2 -> int5: この新規事業は飲料費だ; int5 & fact12 -> int6: この人形使いは帰り着ける; fact21 -> int7: あの枯山水は生じ難い; int7 -> int8: 「生じ難い」ものはある; fact10 & int8 -> int9: この人形使いは乙種でない; int6 & int9 -> 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. 事実15と事実18から、推論1: "そのカットオフ値は批准する"が導かれる
2. 事実5から、推論2: "そのカットオフ値が批准するとすれば資金募集である"が導かれる
3. 推論1と推論2から、推論3: "そのカットオフ値は資金募集だ"が導かれる
4. 推論3と事実17から、推論4: "「あの新内は資金募集でなくて物凄ーくない」ということは成り立たない"が導かれる
5. 推論4と事実2から、推論5: "この新規事業は飲料費だ"が導かれる
6. 推論5と事実12から、推論6: "この人形使いは帰り着ける"が導かれる
7. 事実21から、推論7: "あの枯山水は生じ難い"が導かれる
8. 推論7から、推論8: "「生じ難い」ものはある"が導かれる
9. 事実10と推論8から、推論9: "この人形使いは乙種でない"が導かれる
10. 推論6と推論9から、仮説が否定される

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