そのバケット型は四十時間前後である
fact1: この本件不動産売買契約は運び込む fact2: 何かは興奮する fact3: 「そのバケット型は受信側である」ということは成り立つ fact4: 「なんらかのものはＮＳＡでないしその上べた付き易いということはない」ということは誤っているならそれは仰々しい fact5: この本件不動産売買契約は興奮する fact6: 「「べた付き易いかまたは仰々しいか両方だ」ということは嘘な」物はある fact7: もしもあるものは仰々しくて運び込むならそれは四十時間前後でない fact8: 「そのバケット型はＮＳＡでないししかもべた付き易くない」ということは成り立たない fact9: もし仮になんらかの物はあどけなくないとしたら「運び込むということはなくてまた受信側である」ということは成り立たない fact10: もしもとある物は仰々しいならば「その十冊は運び込むということはないかそれは許せる」ということは誤りだ fact11: あの国語学力は運び込む fact12: あの国語学力は受信側だということはない fact13: 「その添え状はべた付き易いということはない」ということは本当だ fact14: このサンクス・デイは運び込む fact15: 「この本件不動産売買契約は運び込む」ということは事実であるならばその十冊は仰々しい fact16: もしも「なにがしかのものは運び込まないが受信側だ」ということは誤りだとすれば運び込む fact17: もしあどけないものは受信側でないならば許せる fact18: もし仮にその十冊が仰々しいとしたらあの国語学力はあどけないがしかしそれは受信側だということはない fact19: もし仮に「なんらかのものは仰々しいということはないがしかしあどけない」ということは本当であるということはないとしたらそれは仰々しい fact20: 仮に「許せる」ものはあるとしたら「その添え状は興奮しないかまたはそれはべた付き易いかもしくは両方である」ということは偽だ fact21: とあるものは興奮しないかそれはべた付き易い fact22: もし「「興奮しないかあるいはべた付き易いか両方だ」ということは偽な」ものがあればそのバケット型は四十時間前後である fact23: もしもあの国語学力があどけないし受信側であるならばそれは許せる
fact15 & fact1 -> int1: その十冊は仰々しい; int1 & fact18 -> int2: あの国語学力はあどけないけど受信側でない; fact17 -> int3: あの国語学力はあどけない一方で受信側でないとすると「許せる」ということは事実である; int2 & int3 -> int4: あの国語学力は許せる; int4 -> int5: 「許せる」ものはある; int5 & fact20 -> int6: 「その添え状は興奮しないかまたはそれはべた付き易いかまたは両方ともだ」ということは成り立たない; int6 -> int7: 「「興奮しないかまたはべた付き易いかあるいは両方ともだ」ということは成り立たない」ものはある; int7 & fact22 -> hypothesis;
その仕上がりは運び込む
fact24 -> int8: 仮に「その仕上がりは仰々しくない一方でそれはあどけない」ということは成り立たないとすると「それは仰々しい」ということは成り立つ;
$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$ = 
fact15 & fact1 -> int1: その十冊は仰々しい; int1 & fact18 -> int2: あの国語学力はあどけないけど受信側でない; fact17 -> int3: あの国語学力はあどけない一方で受信側でないとすると「許せる」ということは事実である; int2 & int3 -> int4: あの国語学力は許せる; int4 -> int5: 「許せる」ものはある; int5 & fact20 -> int6: 「その添え状は興奮しないかまたはそれはべた付き易いかまたは両方ともだ」ということは成り立たない; int6 -> int7: 「「興奮しないかまたはべた付き易いかあるいは両方ともだ」ということは成り立たない」ものはある; int7 & fact22 -> 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. 事実15と事実1から、推論1: "その十冊は仰々しい"が導かれる
2. 推論1と事実18から、推論2: "あの国語学力はあどけないけど受信側でない"が導かれる
3. 事実17から、推論3: "あの国語学力はあどけない一方で受信側でないとすると「許せる」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "あの国語学力は許せる"が導かれる
5. 推論4から、推論5: "「許せる」ものはある"が導かれる
6. 推論5と事実20から、推論6: "「その添え状は興奮しないかまたはそれはべた付き易いかまたは両方ともだ」ということは成り立たない"が導かれる
7. 推論6から、推論7: "「「興奮しないかまたはべた付き易いかあるいは両方ともだ」ということは成り立たない」ものはある"が導かれる
8. 推論7と事実22から、仮説が導かれる

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