あの第一課長は登頂する
fact1: 仮に「何かはえぐくないし揉めない」ということは成り立たないとしたらそれは登頂しない fact2: もし仮になにがしかの物は悪戯っぽいならば「脱ぎ捨てなくて加えてそれは出現し始めない」ということは成り立たない fact3: もしもなんらかの物は問題状況でないとすれば「それはえぐくなくてその上揉めない」ということは本当でない fact4: あの一日尿量は揉める fact5: もしあの常任理事国がえぐいならあの第一課長は問題状況だ fact6: もし「あるものは脱ぎ捨てなくてかつ出現し始めない」ということは間違いであるとすれば問題状況だということはない fact7: この外科は閉館するとすると「それは悪戯っぽくないし更にそれは御前さん方でない」ということは事実と異なる fact8: もしも「この外科は悪戯っぽくないし更に御前さん方であるということはない」ということは誤りであるならばあの第一課長は悪戯っぽい fact9: この外科は揉める fact10: この外科が揉めるとしたらあの常任理事国はえぐい fact11: 仮にある物が問題状況だとするとそれは登頂する
fact10 & fact9 -> int1: あの常任理事国はえぐい; int1 & fact5 -> int2: あの第一課長は問題状況である; fact11 -> int3: もし仮にあの第一課長が問題状況だとしたら登頂する; int2 & int3 -> hypothesis;
fact10 & fact9 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; fact11 -> int3: {C}{c} -> {D}{c}; int2 & int3 -> hypothesis;
あの第一課長は登頂しない
fact17 -> int4: もしも「あの第一課長はえぐくなくてその上それは揉めるということはない」ということは成り立たないとすれば「それは登頂しない」ということは成り立つ; fact16 -> int5: 仮にあの第一課長は問題状況でないとしたら「えぐくないししかも揉めない」ということは間違いである; fact13 -> int6: 仮に「あの第一課長は脱ぎ捨てないしおまけにそれは出現し始めない」ということは事実と異なるとすればそれは問題状況でない; fact14 -> int7: もしあの第一課長は悪戯っぽいなら「それは脱ぎ捨てないし出現し始めない」ということは偽だ;
$facts$ = fact1: 仮に「何かはえぐくないし揉めない」ということは成り立たないとしたらそれは登頂しない fact2: もし仮になにがしかの物は悪戯っぽいならば「脱ぎ捨てなくて加えてそれは出現し始めない」ということは成り立たない fact3: もしもなんらかの物は問題状況でないとすれば「それはえぐくなくてその上揉めない」ということは本当でない fact4: あの一日尿量は揉める fact5: もしあの常任理事国がえぐいならあの第一課長は問題状況だ fact6: もし「あるものは脱ぎ捨てなくてかつ出現し始めない」ということは間違いであるとすれば問題状況だということはない fact7: この外科は閉館するとすると「それは悪戯っぽくないし更にそれは御前さん方でない」ということは事実と異なる fact8: もしも「この外科は悪戯っぽくないし更に御前さん方であるということはない」ということは誤りであるならばあの第一課長は悪戯っぽい fact9: この外科は揉める fact10: この外科が揉めるとしたらあの常任理事国はえぐい fact11: 仮にある物が問題状況だとするとそれは登頂する ; $hypothesis$ = あの第一課長は登頂する ; $proof$ = 
fact10 & fact9 -> int1: あの常任理事国はえぐい; int1 & fact5 -> int2: あの第一課長は問題状況である; fact11 -> int3: もし仮にあの第一課長が問題状況だとしたら登頂する; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮に「何かはえぐくないし揉めない」ということは成り立たないとしたらそれは登頂しない
事実2: もし仮になにがしかの物は悪戯っぽいならば「脱ぎ捨てなくて加えてそれは出現し始めない」ということは成り立たない
事実3: もしもなんらかの物は問題状況でないとすれば「それはえぐくなくてその上揉めない」ということは本当でない
事実4: あの一日尿量は揉める
事実5: もしあの常任理事国がえぐいならあの第一課長は問題状況だ
事実6: もし「あるものは脱ぎ捨てなくてかつ出現し始めない」ということは間違いであるとすれば問題状況だということはない
事実7: この外科は閉館するとすると「それは悪戯っぽくないし更にそれは御前さん方でない」ということは事実と異なる
事実8: もしも「この外科は悪戯っぽくないし更に御前さん方であるということはない」ということは誤りであるならばあの第一課長は悪戯っぽい
事実9: この外科は揉める
事実10: この外科が揉めるとしたらあの常任理事国はえぐい
事実11: 仮にある物が問題状況だとするとそれは登頂する

仮説: あの第一課長は登頂する
1. 事実10と事実9から、推論1: "あの常任理事国はえぐい"が導かれる
2. 推論1と事実5から、推論2: "あの第一課長は問題状況である"が導かれる
3. 事実11から、推論3: "もし仮にあの第一課長が問題状況だとしたら登頂する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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