「その商取り引きは送り続けるかでっかくない」ということは成り立たない
fact1: もし仮にその前年度が空腸でないとすればあの商取り引きは送り続けない fact2: もしその商取り引きがいじらしいとしたらその前年度は送り続けなくておまけに空腸でない fact3: この撮像系はめんど臭い fact4: もしも何かははにかまないとすると「それは送り続けるしかつそれはでっかい」ということは誤っていない fact5: もし仮にあるものははにかまないなら「それはめんど臭い」ということは成り立つ fact6: もし仮にその前年度は空腸でないとしたら「その商取り引きは送り続けるかまたはでっかいということはないかあるいは両方ともである」ということは成り立つということはない fact7: 仮にある物は青臭いなら「この撮像系ははにかむし夥しい」ということは偽だ fact8: その商取り引きは空腸でないとしたら「この撮像系はでっかいかまたはめんど臭くないかまたは両方である」ということは成り立たない fact9: その前年度は青臭い fact10: 「でっかい物はめんど臭くない」ということは成り立つ fact11: めんど臭い物は送り続けるかあるいはでっかいということはない fact12: もしこの撮像系がめんど臭いならその前年度はいじらしくないしさらに空腸でない fact13: その商取り引きは送り続けない
fact12 & fact3 -> int1: その前年度はいじらしくないしそれは空腸でない; int1 -> int2: その前年度は空腸であるということはない; int2 & fact6 -> hypothesis;
その商取り引きは送り続けるかそれはでっかくないかどちらもである
fact15 -> int3: もしその商取り引きがめんど臭いなら送り続けるかもしくはそれはでっかくない; fact14 -> int4: もし仮にその商取り引きははにかまないなら「めんど臭い」ということは確かである;
$facts$ = fact1: もし仮にその前年度が空腸でないとすればあの商取り引きは送り続けない fact2: もしその商取り引きがいじらしいとしたらその前年度は送り続けなくておまけに空腸でない fact3: この撮像系はめんど臭い fact4: もしも何かははにかまないとすると「それは送り続けるしかつそれはでっかい」ということは誤っていない fact5: もし仮にあるものははにかまないなら「それはめんど臭い」ということは成り立つ fact6: もし仮にその前年度は空腸でないとしたら「その商取り引きは送り続けるかまたはでっかいということはないかあるいは両方ともである」ということは成り立つということはない fact7: 仮にある物は青臭いなら「この撮像系ははにかむし夥しい」ということは偽だ fact8: その商取り引きは空腸でないとしたら「この撮像系はでっかいかまたはめんど臭くないかまたは両方である」ということは成り立たない fact9: その前年度は青臭い fact10: 「でっかい物はめんど臭くない」ということは成り立つ fact11: めんど臭い物は送り続けるかあるいはでっかいということはない fact12: もしこの撮像系がめんど臭いならその前年度はいじらしくないしさらに空腸でない fact13: その商取り引きは送り続けない ; $hypothesis$ = 「その商取り引きは送り続けるかでっかくない」ということは成り立たない ; $proof$ = 
fact12 & fact3 -> int1: その前年度はいじらしくないしそれは空腸でない; int1 -> int2: その前年度は空腸であるということはない; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にその前年度が空腸でないとすればあの商取り引きは送り続けない
事実2: もしその商取り引きがいじらしいとしたらその前年度は送り続けなくておまけに空腸でない
事実3: この撮像系はめんど臭い
事実4: もしも何かははにかまないとすると「それは送り続けるしかつそれはでっかい」ということは誤っていない
事実5: もし仮にあるものははにかまないなら「それはめんど臭い」ということは成り立つ
事実6: もし仮にその前年度は空腸でないとしたら「その商取り引きは送り続けるかまたはでっかいということはないかあるいは両方ともである」ということは成り立つということはない
事実7: 仮にある物は青臭いなら「この撮像系ははにかむし夥しい」ということは偽だ
事実8: その商取り引きは空腸でないとしたら「この撮像系はでっかいかまたはめんど臭くないかまたは両方である」ということは成り立たない
事実9: その前年度は青臭い
事実10: 「でっかい物はめんど臭くない」ということは成り立つ
事実11: めんど臭い物は送り続けるかあるいはでっかいということはない
事実12: もしこの撮像系がめんど臭いならその前年度はいじらしくないしさらに空腸でない
事実13: その商取り引きは送り続けない

仮説: 「その商取り引きは送り続けるかでっかくない」ということは成り立たない
1. 事実12と事実3から、推論1: "その前年度はいじらしくないしそれは空腸でない"が導かれる
2. 推論1から、推論2: "その前年度は空腸であるということはない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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