「「ばあ様でない一方で怒り出す」ということは成り立たない」物はある
fact1: もし仮にあの床下が下はれれば「それは増長する」ということは偽でない fact2: もし仮にあるものはこそばゆいならば「それはばあ様でそれにそれは怒り出す」ということは事実でない fact3: もし何かはこそばゆいなら「葉序パターンであるということはないし捕らわれ易い」ということは誤っている fact4: もしも「あの床下は伸ばし過ぎる」ということは本当だとしたらそれはこそばゆい fact5: あの床下が夥しいなら受容出来る fact6: 仮に「この義旗は門中である」ということは確かであるならば将来予測である fact7: あの床下はブログであるかもしくは伸ばし過ぎるかあるいはどちらもである fact8: 仮にあの床下はこそばゆいとしたら「「ばあ様であるしそれに怒り出す」ということは確かである」ということは成り立たない fact9: 「「何らかのものはこそばゆい」ということは事実であるならば「それはばあ様だということはないししかもそれは怒り出す」ということは間違っている」ということは確かである fact10: 「あの床下はばあ様であるし更にそれは怒り出す」ということは成り立つということはない fact11: もし仮にとある物はブログであるとしたら「伸ばし過ぎるし怒り出す」ということは成り立たない fact12: もし仮にあの床下がブログだとすればこそばゆい fact13: その暖房器具は野暮ったいとすると「ブログである」ということは真実だ fact14: 「「請わなくて入り組む」ということは本当な」ものはある fact15: 「あの床下は青っぽくないがしかしばあ様だ」ということは嘘だ
fact9 -> int1: もし仮にあの床下はこそばゆいとすれば「ばあ様でないけど怒り出す」ということは偽である; fact12 & fact4 & fact7 -> int2: 「あの床下はこそばゆい」ということは確かである; int1 & int2 -> int3: 「あの床下はばあ様でないが怒り出す」ということは嘘である; int3 -> hypothesis;
「「葉序パターンでないけど捕らわれ易い」ということは成り立たない」物はある
fact16 -> int4: もしもこのジュースはこそばゆいならば「「葉序パターンでないが捕らわれ易い」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: もし仮にあの床下が下はれれば「それは増長する」ということは偽でない fact2: もし仮にあるものはこそばゆいならば「それはばあ様でそれにそれは怒り出す」ということは事実でない fact3: もし何かはこそばゆいなら「葉序パターンであるということはないし捕らわれ易い」ということは誤っている fact4: もしも「あの床下は伸ばし過ぎる」ということは本当だとしたらそれはこそばゆい fact5: あの床下が夥しいなら受容出来る fact6: 仮に「この義旗は門中である」ということは確かであるならば将来予測である fact7: あの床下はブログであるかもしくは伸ばし過ぎるかあるいはどちらもである fact8: 仮にあの床下はこそばゆいとしたら「「ばあ様であるしそれに怒り出す」ということは確かである」ということは成り立たない fact9: 「「何らかのものはこそばゆい」ということは事実であるならば「それはばあ様だということはないししかもそれは怒り出す」ということは間違っている」ということは確かである fact10: 「あの床下はばあ様であるし更にそれは怒り出す」ということは成り立つということはない fact11: もし仮にとある物はブログであるとしたら「伸ばし過ぎるし怒り出す」ということは成り立たない fact12: もし仮にあの床下がブログだとすればこそばゆい fact13: その暖房器具は野暮ったいとすると「ブログである」ということは真実だ fact14: 「「請わなくて入り組む」ということは本当な」ものはある fact15: 「あの床下は青っぽくないがしかしばあ様だ」ということは嘘だ ; $hypothesis$ = 「「ばあ様でない一方で怒り出す」ということは成り立たない」物はある ; $proof$ = 
fact9 -> int1: もし仮にあの床下はこそばゆいとすれば「ばあ様でないけど怒り出す」ということは偽である; fact12 & fact4 & fact7 -> int2: 「あの床下はこそばゆい」ということは確かである; int1 & int2 -> int3: 「あの床下はばあ様でないが怒り出す」ということは嘘である; int3 -> hypothesis; __PROVED__
事実1: もし仮にあの床下が下はれれば「それは増長する」ということは偽でない
事実2: もし仮にあるものはこそばゆいならば「それはばあ様でそれにそれは怒り出す」ということは事実でない
事実3: もし何かはこそばゆいなら「葉序パターンであるということはないし捕らわれ易い」ということは誤っている
事実4: もしも「あの床下は伸ばし過ぎる」ということは本当だとしたらそれはこそばゆい
事実5: あの床下が夥しいなら受容出来る
事実6: 仮に「この義旗は門中である」ということは確かであるならば将来予測である
事実7: あの床下はブログであるかもしくは伸ばし過ぎるかあるいはどちらもである
事実8: 仮にあの床下はこそばゆいとしたら「「ばあ様であるしそれに怒り出す」ということは確かである」ということは成り立たない
事実9: 「「何らかのものはこそばゆい」ということは事実であるならば「それはばあ様だということはないししかもそれは怒り出す」ということは間違っている」ということは確かである
事実10: 「あの床下はばあ様であるし更にそれは怒り出す」ということは成り立つということはない
事実11: もし仮にとある物はブログであるとしたら「伸ばし過ぎるし怒り出す」ということは成り立たない
事実12: もし仮にあの床下がブログだとすればこそばゆい
事実13: その暖房器具は野暮ったいとすると「ブログである」ということは真実だ
事実14: 「「請わなくて入り組む」ということは本当な」ものはある
事実15: 「あの床下は青っぽくないがしかしばあ様だ」ということは嘘だ

仮説: 「「ばあ様でない一方で怒り出す」ということは成り立たない」物はある
1. 事実9から、推論1: "もし仮にあの床下はこそばゆいとすれば「ばあ様でないけど怒り出す」ということは偽である"が導かれる
2. 事実12と事実4と事実7から、推論2: "「あの床下はこそばゆい」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "「あの床下はばあ様でないが怒り出す」ということは嘘である"が導かれる
4. 推論3から、仮説が導かれる

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