あの薄明は謝れる
fact1: この手形訴訟は謝れない fact2: 「もしこの手形訴訟は御若くないとすれば「あの薄明は混ぜ入れるしまた伸び悩む」ということは誤りである」ということは成り立つ fact3: その民俗研究者は謝れる fact4: もしも何らかのものは謝れないならばそれは行商しないかあるいはそれはすんごいかあるいはどちらもだ fact5: 「その民俗研究者は御若いししかも混ぜ入れる」ということは間違いでない fact6: あの薄明は伸び悩まないかまたは混ぜ入れるかもしくは両方ともである fact7: 御若くない物はすんごくないかあるいは日本小児外科学会指導医であるかもしくは両方である fact8: とあるものが混ぜ入れるとしたらそれは謝れる fact9: あの消炎鎮痛薬はすんごい fact10: 茶色い物は脂っこい fact11: もしもこの手形訴訟がすんごくないかもしくはそれが日本小児外科学会指導医であるとしたらあの消炎鎮痛薬は行商する fact12: 「なにかは伸び悩むし締め付ける」ということは偽ならばそれは御若くない fact13: その民俗研究者は混ぜ入れる fact14: 仮にその民俗研究者は挫折であるならそれは御若い fact15: 歩き辛くない物は美男俳優でないか監督者教育であるかまたは両方だ fact16: あの消炎鎮痛薬は脳神経科学でない fact17: もしあの消炎鎮痛薬が行商するとするとあの薄明は混ぜ入れる fact18: もしあの薄明が挫折であるとしたらその民俗研究者は謝れる fact19: 日本小児外科学会指導医は挫折である fact20: もし仮にあのパスワードが御若いならそれは四月分だ fact21: 「あの薄明は締め付けないかまたは混ぜ入れるかもしくはどちらもだ」ということは事実だ fact22: もし仮にその民俗研究者は挫折でないとすれば「この手形訴訟が伸び悩むしその上締め付ける」ということは誤っている fact23: あの薄明は締め付けない fact24: もし仮にこの手形訴訟は謝れないならば「あの薄明は日本小児外科学会指導医であるし加えて行商する」ということは誤りである fact25: もし仮にこの手形訴訟が混ぜ入れればあの薄明はすんごい fact26: この手形訴訟は混ぜ入れないかあるいは締め付けるかもしくはどちらもだ fact27: その民俗研究者は挫折でない
fact22 & fact27 -> int1: 「この手形訴訟は伸び悩むし締め付ける」ということは成り立たない; fact12 -> int2: もしも「この手形訴訟は伸び悩むし締め付ける」ということは成り立つということはないならば御若くない; int1 & int2 -> int3: この手形訴訟は御若いということはない; fact7 -> int4: もしもこの手形訴訟が御若くないならばすんごくないかそれは日本小児外科学会指導医だ; int3 & int4 -> int5: 「この手形訴訟はすんごくないか日本小児外科学会指導医であるかもしくはどちらもである」ということは成り立つ; int5 & fact11 -> int6: あの消炎鎮痛薬は行商する; int6 & fact17 -> int7: あの薄明は混ぜ入れる; fact8 -> int8: もし仮にあの薄明が混ぜ入れるならそれは謝れる; int7 & int8 -> hypothesis;
あの薄明は謝れるということはない
fact28 -> int9: その民俗研究者は御若い; fact29 -> int10: もし仮にその民俗研究者が日本小児外科学会指導医だとしたらそれは挫折である;
$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: もし仮にこの手形訴訟は謝れないならば「あの薄明は日本小児外科学会指導医であるし加えて行商する」ということは誤りである fact25: もし仮にこの手形訴訟が混ぜ入れればあの薄明はすんごい fact26: この手形訴訟は混ぜ入れないかあるいは締め付けるかもしくはどちらもだ fact27: その民俗研究者は挫折でない ; $hypothesis$ = あの薄明は謝れる ; $proof$ = 
fact22 & fact27 -> int1: 「この手形訴訟は伸び悩むし締め付ける」ということは成り立たない; fact12 -> int2: もしも「この手形訴訟は伸び悩むし締め付ける」ということは成り立つということはないならば御若くない; int1 & int2 -> int3: この手形訴訟は御若いということはない; fact7 -> int4: もしもこの手形訴訟が御若くないならばすんごくないかそれは日本小児外科学会指導医だ; int3 & int4 -> int5: 「この手形訴訟はすんごくないか日本小児外科学会指導医であるかもしくはどちらもである」ということは成り立つ; int5 & fact11 -> int6: あの消炎鎮痛薬は行商する; int6 & fact17 -> int7: あの薄明は混ぜ入れる; fact8 -> int8: もし仮にあの薄明が混ぜ入れるならそれは謝れる; int7 & int8 -> 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: あの薄明は締め付けない
事実24: もし仮にこの手形訴訟は謝れないならば「あの薄明は日本小児外科学会指導医であるし加えて行商する」ということは誤りである
事実25: もし仮にこの手形訴訟が混ぜ入れればあの薄明はすんごい
事実26: この手形訴訟は混ぜ入れないかあるいは締め付けるかもしくはどちらもだ
事実27: その民俗研究者は挫折でない

仮説: あの薄明は謝れる
1. 事実22と事実27から、推論1: "「この手形訴訟は伸び悩むし締め付ける」ということは成り立たない"が導かれる
2. 事実12から、推論2: "もしも「この手形訴訟は伸び悩むし締め付ける」ということは成り立つということはないならば御若くない"が導かれる
3. 推論1と推論2から、推論3: "この手形訴訟は御若いということはない"が導かれる
4. 事実7から、推論4: "もしもこの手形訴訟が御若くないならばすんごくないかそれは日本小児外科学会指導医だ"が導かれる
5. 推論3と推論4から、推論5: "「この手形訴訟はすんごくないか日本小児外科学会指導医であるかもしくはどちらもである」ということは成り立つ"が導かれる
6. 推論5と事実11から、推論6: "あの消炎鎮痛薬は行商する"が導かれる
7. 推論6と事実17から、推論7: "あの薄明は混ぜ入れる"が導かれる
8. 事実8から、推論8: "もし仮にあの薄明が混ぜ入れるならそれは謝れる"が導かれる
9. 推論7と推論8から、仮説が導かれる

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