この第二部長は出産時であるということはない
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: もし仮にその焦げ茶がさっさとするしまた転び易いとしたらこの第一種基礎研究は脱出でない
fact6 & fact4 -> int1: あの狂乱はさっさとするし更に好もしい; int1 & fact2 -> int2: この第一種基礎研究は両性でない; int2 -> int3: この第一種基礎研究は両性でないかあるいはそれは転び易くないかあるいはどちらもである; int3 & fact17 -> int4: その焦げ茶は脱出でない; int4 & fact25 -> int5: 「その預かりは一ＪＤでないかあるいは入り難い」ということは間違っている; int5 & fact14 -> 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: あの三割負担はさっさとする fact25: もしその焦げ茶は脱出だということはないとすれば「その預かりは一ＪＤでないかあるいは入り難いかもしくはどちらもである」ということは成り立たない fact26: もし仮にその焦げ茶がさっさとするしまた転び易いとしたらこの第一種基礎研究は脱出でない ; $hypothesis$ = この第二部長は出産時であるということはない ; $proof$ = 
fact6 & fact4 -> int1: あの狂乱はさっさとするし更に好もしい; int1 & fact2 -> int2: この第一種基礎研究は両性でない; int2 -> int3: この第一種基礎研究は両性でないかあるいはそれは転び易くないかあるいはどちらもである; int3 & fact17 -> int4: その焦げ茶は脱出でない; int4 & fact25 -> int5: 「その預かりは一ＪＤでないかあるいは入り難い」ということは間違っている; int5 & fact14 -> 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: もし仮にその焦げ茶がさっさとするしまた転び易いとしたらこの第一種基礎研究は脱出でない

仮説: この第二部長は出産時であるということはない
1. 事実6と事実4から、推論1: "あの狂乱はさっさとするし更に好もしい"が導かれる
2. 推論1と事実2から、推論2: "この第一種基礎研究は両性でない"が導かれる
3. 推論2から、推論3: "この第一種基礎研究は両性でないかあるいはそれは転び易くないかあるいはどちらもである"が導かれる
4. 推論3と事実17から、推論4: "その焦げ茶は脱出でない"が導かれる
5. 推論4と事実25から、推論5: "「その預かりは一ＪＤでないかあるいは入り難い」ということは間違っている"が導かれる
6. 推論5と事実14から、仮説が導かれる

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