その童子達は息苦しくない
fact1: 「薄青くない」物はある fact2: もし仮になにがしかのものが発見するなら薄青い fact3: もしも「なにかは赤くないしさらに歩き辛くない」ということは間違いだとするとそれは息苦しくない fact4: もし「あの技術援助は絡み合わせらないしそれはきったなくない」ということは誤りだとするとその童子達はベテランでない fact5: もし仮にある物が薄青いなら穴掘りだがしかし儚しない fact6: もしこの特等席はきったなくないなら「あの技術援助は絡み合わせるということはないしきったないということはない」ということは成り立つということはない fact7: もしとあるものはベテランでないならば「赤くないしかつ歩き辛くない」ということは誤りである fact8: もし仮に穴掘りが発見しないとすればそれはきったなくない fact9: もしもある物が遣り通すけれどそれは集団毎でないとするとそれはしかつめらしくない fact10: もし仮になにがしかの物は歩き辛くないならば「それはきったなくないしそれにそれは絡み合わせらない」ということは事実と異なる fact11: もしも「薄青くない」ものがあるならこの特等席は穴掘りであるがしかしそれは発見しない
fact1 & fact11 -> int1: この特等席は穴掘りであるが発見しない; fact8 -> int2: この特等席は穴掘りであるけれど発見しないとすればそれはきったなくない; int1 & int2 -> int3: この特等席はきったなくない; int3 & fact6 -> int4: 「あの技術援助は絡み合わせらないしそれにきったなくない」ということは事実でない; int4 & fact4 -> int5: その童子達はベテランでない; fact7 -> int6: もし「その童子達はベテランでない」ということは間違いでないとしたら「それは赤くないしそれは歩き辛くない」ということは誤りである; int5 & int6 -> int7: 「その童子達は赤くないしそれに歩き辛くない」ということは嘘である; fact3 -> int8: もし「その童子達は赤くないしかつ歩き辛くない」ということは偽だとすると息苦しくない; int7 & int8 -> hypothesis;
この治績は穴掘りである一方で儚しない
fact12 -> int9: もしもこの治績が薄青いとするとそれは穴掘りでおまけに儚しない; fact13 -> int10: この治績が発見するとすれば薄青い;
$facts$ = fact1: 「薄青くない」物はある fact2: もし仮になにがしかのものが発見するなら薄青い fact3: もしも「なにかは赤くないしさらに歩き辛くない」ということは間違いだとするとそれは息苦しくない fact4: もし「あの技術援助は絡み合わせらないしそれはきったなくない」ということは誤りだとするとその童子達はベテランでない fact5: もし仮にある物が薄青いなら穴掘りだがしかし儚しない fact6: もしこの特等席はきったなくないなら「あの技術援助は絡み合わせるということはないしきったないということはない」ということは成り立つということはない fact7: もしとあるものはベテランでないならば「赤くないしかつ歩き辛くない」ということは誤りである fact8: もし仮に穴掘りが発見しないとすればそれはきったなくない fact9: もしもある物が遣り通すけれどそれは集団毎でないとするとそれはしかつめらしくない fact10: もし仮になにがしかの物は歩き辛くないならば「それはきったなくないしそれにそれは絡み合わせらない」ということは事実と異なる fact11: もしも「薄青くない」ものがあるならこの特等席は穴掘りであるがしかしそれは発見しない ; $hypothesis$ = その童子達は息苦しくない ; $proof$ = 
fact1 & fact11 -> int1: この特等席は穴掘りであるが発見しない; fact8 -> int2: この特等席は穴掘りであるけれど発見しないとすればそれはきったなくない; int1 & int2 -> int3: この特等席はきったなくない; int3 & fact6 -> int4: 「あの技術援助は絡み合わせらないしそれにきったなくない」ということは事実でない; int4 & fact4 -> int5: その童子達はベテランでない; fact7 -> int6: もし「その童子達はベテランでない」ということは間違いでないとしたら「それは赤くないしそれは歩き辛くない」ということは誤りである; int5 & int6 -> int7: 「その童子達は赤くないしそれに歩き辛くない」ということは嘘である; fact3 -> int8: もし「その童子達は赤くないしかつ歩き辛くない」ということは偽だとすると息苦しくない; int7 & int8 -> hypothesis; __PROVED__
事実1: 「薄青くない」物はある
事実2: もし仮になにがしかのものが発見するなら薄青い
事実3: もしも「なにかは赤くないしさらに歩き辛くない」ということは間違いだとするとそれは息苦しくない
事実4: もし「あの技術援助は絡み合わせらないしそれはきったなくない」ということは誤りだとするとその童子達はベテランでない
事実5: もし仮にある物が薄青いなら穴掘りだがしかし儚しない
事実6: もしこの特等席はきったなくないなら「あの技術援助は絡み合わせるということはないしきったないということはない」ということは成り立つということはない
事実7: もしとあるものはベテランでないならば「赤くないしかつ歩き辛くない」ということは誤りである
事実8: もし仮に穴掘りが発見しないとすればそれはきったなくない
事実9: もしもある物が遣り通すけれどそれは集団毎でないとするとそれはしかつめらしくない
事実10: もし仮になにがしかの物は歩き辛くないならば「それはきったなくないしそれにそれは絡み合わせらない」ということは事実と異なる
事実11: もしも「薄青くない」ものがあるならこの特等席は穴掘りであるがしかしそれは発見しない

仮説: その童子達は息苦しくない
1. 事実1と事実11から、推論1: "この特等席は穴掘りであるが発見しない"が導かれる
2. 事実8から、推論2: "この特等席は穴掘りであるけれど発見しないとすればそれはきったなくない"が導かれる
3. 推論1と推論2から、推論3: "この特等席はきったなくない"が導かれる
4. 推論3と事実6から、推論4: "「あの技術援助は絡み合わせらないしそれにきったなくない」ということは事実でない"が導かれる
5. 推論4と事実4から、推論5: "その童子達はベテランでない"が導かれる
6. 事実7から、推論6: "もし「その童子達はベテランでない」ということは間違いでないとしたら「それは赤くないしそれは歩き辛くない」ということは誤りである"が導かれる
7. 推論5と推論6から、推論7: "「その童子達は赤くないしそれに歩き辛くない」ということは嘘である"が導かれる
8. 事実3から、推論8: "もし「その童子達は赤くないしかつ歩き辛くない」ということは偽だとすると息苦しくない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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