あのナイトクラブは学院長であるということはない
fact1: もしその秘話が学院長であるとしたらあのナイトクラブは学院長だ fact2: 仮に「あのナイトクラブは益金だということはない」ということは成り立つとすると「人間臭い」ということは真実だ fact3: あの写字生Ａはとんがるということはない fact4: この残留組はとんがる fact5: あのナイトクラブは人間臭くない fact6: もし「「この第一波は解雇する一方で修復しない」ということは間違いである」ということは誤っていないとしたら「あの研究事例は修復しない」ということは間違っていない fact7: もし「あのナイトクラブは分掌しない」ということは真実ならそれは最下天である fact8: あのナイトクラブはとんがる fact9: この検問所が学院長ならばその秘話は学院長だ fact10: あの世界市場向けは学院長である fact11: 仮にこの第一波が観賞しないとしたらそれは薄っぺらいけど走り去らない fact12: もしもあの研究事例が修復しないならあの中学・高校はとんがるか排ガスであるかもしくは両方ともだ fact13: もしあのナイトクラブが能動輸送でしかもそれは介護等であるならそれは語り告げない fact14: あのインフォームドコンセントは排ガスである fact15: 何らかのものは学院長でないならば「とんがる」ということは正しい fact16: 人間臭くないものは排ガスである fact17: もし仮にあのナイトクラブは学院長であるし加えて排ガスであるならとんがらない fact18: あのナイトクラブはジュースでない fact19: あるものがとんがらないとするとそれは排ガスだ fact20: 照れ臭いものが斡旋するとすればそれは人間臭くない fact21: もしもなにかは走り去らないとしたら「解雇するし更にそれは修復しない」ということは事実だということはない fact22: もしもあの中学・高校が人間臭いとするとこの検問所は学院長である fact23: あのナイトクラブは勁草書房だ
fact16 -> int1: もしもあのナイトクラブが人間臭くないとするとそれは排ガスだ; int1 & fact5 -> int2: 「あのナイトクラブは排ガスである」ということは成り立つ; void -> assump1: 以下のように仮定する。あのナイトクラブは学院長だ; int2 & assump1 -> int3: あのナイトクラブは学院長でしかも排ガスである; int3 & fact17 -> int4: あのナイトクラブはとんがらない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのナイトクラブは学院長である
fact30 -> int6: もしこの第一波は走り去るということはないとすると「解雇するし修復しない」ということは成り立つということはない;
$facts$ = fact1: もしその秘話が学院長であるとしたらあのナイトクラブは学院長だ fact2: 仮に「あのナイトクラブは益金だということはない」ということは成り立つとすると「人間臭い」ということは真実だ fact3: あの写字生Ａはとんがるということはない fact4: この残留組はとんがる fact5: あのナイトクラブは人間臭くない fact6: もし「「この第一波は解雇する一方で修復しない」ということは間違いである」ということは誤っていないとしたら「あの研究事例は修復しない」ということは間違っていない fact7: もし「あのナイトクラブは分掌しない」ということは真実ならそれは最下天である fact8: あのナイトクラブはとんがる fact9: この検問所が学院長ならばその秘話は学院長だ fact10: あの世界市場向けは学院長である fact11: 仮にこの第一波が観賞しないとしたらそれは薄っぺらいけど走り去らない fact12: もしもあの研究事例が修復しないならあの中学・高校はとんがるか排ガスであるかもしくは両方ともだ fact13: もしあのナイトクラブが能動輸送でしかもそれは介護等であるならそれは語り告げない fact14: あのインフォームドコンセントは排ガスである fact15: 何らかのものは学院長でないならば「とんがる」ということは正しい fact16: 人間臭くないものは排ガスである fact17: もし仮にあのナイトクラブは学院長であるし加えて排ガスであるならとんがらない fact18: あのナイトクラブはジュースでない fact19: あるものがとんがらないとするとそれは排ガスだ fact20: 照れ臭いものが斡旋するとすればそれは人間臭くない fact21: もしもなにかは走り去らないとしたら「解雇するし更にそれは修復しない」ということは事実だということはない fact22: もしもあの中学・高校が人間臭いとするとこの検問所は学院長である fact23: あのナイトクラブは勁草書房だ ; $hypothesis$ = あのナイトクラブは学院長であるということはない ; $proof$ = 
fact16 -> int1: もしもあのナイトクラブが人間臭くないとするとそれは排ガスだ; int1 & fact5 -> int2: 「あのナイトクラブは排ガスである」ということは成り立つ; void -> assump1: 以下のように仮定する。あのナイトクラブは学院長だ; int2 & assump1 -> int3: あのナイトクラブは学院長でしかも排ガスである; int3 & fact17 -> int4: あのナイトクラブはとんがらない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしその秘話が学院長であるとしたらあのナイトクラブは学院長だ
事実2: 仮に「あのナイトクラブは益金だということはない」ということは成り立つとすると「人間臭い」ということは真実だ
事実3: あの写字生Ａはとんがるということはない
事実4: この残留組はとんがる
事実5: あのナイトクラブは人間臭くない
事実6: もし「「この第一波は解雇する一方で修復しない」ということは間違いである」ということは誤っていないとしたら「あの研究事例は修復しない」ということは間違っていない
事実7: もし「あのナイトクラブは分掌しない」ということは真実ならそれは最下天である
事実8: あのナイトクラブはとんがる
事実9: この検問所が学院長ならばその秘話は学院長だ
事実10: あの世界市場向けは学院長である
事実11: 仮にこの第一波が観賞しないとしたらそれは薄っぺらいけど走り去らない
事実12: もしもあの研究事例が修復しないならあの中学・高校はとんがるか排ガスであるかもしくは両方ともだ
事実13: もしあのナイトクラブが能動輸送でしかもそれは介護等であるならそれは語り告げない
事実14: あのインフォームドコンセントは排ガスである
事実15: 何らかのものは学院長でないならば「とんがる」ということは正しい
事実16: 人間臭くないものは排ガスである
事実17: もし仮にあのナイトクラブは学院長であるし加えて排ガスであるならとんがらない
事実18: あのナイトクラブはジュースでない
事実19: あるものがとんがらないとするとそれは排ガスだ
事実20: 照れ臭いものが斡旋するとすればそれは人間臭くない
事実21: もしもなにかは走り去らないとしたら「解雇するし更にそれは修復しない」ということは事実だということはない
事実22: もしもあの中学・高校が人間臭いとするとこの検問所は学院長である
事実23: あのナイトクラブは勁草書房だ

仮説: あのナイトクラブは学院長であるということはない
1. 事実16から、推論1: "もしもあのナイトクラブが人間臭くないとするとそれは排ガスだ"が導かれる
2. 推論1と事実5から、推論2: "「あのナイトクラブは排ガスである」ということは成り立つ"が導かれる
3. 仮定1: 以下のように仮定する。あのナイトクラブは学院長だ
4. 推論2と仮定1から、推論3: "あのナイトクラブは学院長でしかも排ガスである"が導かれる
5. 推論3と事実17から、推論4: "あのナイトクラブはとんがらない"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。