「「腑甲斐無くないかあるいは長々しかないかまたはどちらもである」ということは成り立たない」物はある
fact1: その二言目は気付き易くない fact2: 「「通じ易くないか腑甲斐無いかまたは両方である」ということは誤りな」物はある fact3: 何かは通じ易い fact4: その整理信託公社は通じ易くない fact5: 「気付き易くないか通じ易くないかあるいは両方な」物はある fact6: なにがしかの物は腑甲斐無くないかまたはそれは長々しかない fact7: もしもその整理信託公社は長々しかないとすると「その繁栄は腑甲斐無くないかそれは通じ易くないかまたはどちらもだ」ということは誤っている fact8: その整理信託公社は詰まり易いということはない fact9: 仮にその腸内容物は気付き易くないとすると「「その繁栄は長々しいということはないかあるいは通じ易くない」ということは確かである」ということは事実と異なる fact10: その繁栄が気付き易くないとしたらその腸内容物は腑甲斐無くない fact11: もし仮に「その整理信託公社は腑甲斐無くない」ということは確かであるならその繁栄は通じ易い fact12: その腸内容物は腑甲斐無い fact13: 仮にその腸内容物が腑甲斐無いということはないならその繁栄は長々しい fact14: 何かはプロらしい fact15: 仮にその腸内容物は気付き易くないとすれば「その繁栄は腑甲斐無いということはないかまたは長々しかない」ということは嘘である fact16: その整理信託公社が通じ易くないならその腸内容物は気付き易くない fact17: 「「気付き易いかあるいは腑甲斐無くないかどちらもである」ということは嘘な」物はある fact18: 「「通じ易いかもしくは長々しかないかどちらもである」ということは確かでない」物はある
fact16 & fact4 -> int1: その腸内容物は気付き易くない; int1 & fact15 -> int2: 「その繁栄は腑甲斐無くないか長々しいということはないかあるいは両方ともだ」ということは誤りである; int2 -> hypothesis;
fact16 & fact4 -> int1: ¬{B}{b}; int1 & fact15 -> int2: ¬(¬{D}{c} v ¬{C}{c}); int2 -> hypothesis;
$facts$ = fact1: その二言目は気付き易くない fact2: 「「通じ易くないか腑甲斐無いかまたは両方である」ということは誤りな」物はある fact3: 何かは通じ易い fact4: その整理信託公社は通じ易くない fact5: 「気付き易くないか通じ易くないかあるいは両方な」物はある fact6: なにがしかの物は腑甲斐無くないかまたはそれは長々しかない fact7: もしもその整理信託公社は長々しかないとすると「その繁栄は腑甲斐無くないかそれは通じ易くないかまたはどちらもだ」ということは誤っている fact8: その整理信託公社は詰まり易いということはない fact9: 仮にその腸内容物は気付き易くないとすると「「その繁栄は長々しいということはないかあるいは通じ易くない」ということは確かである」ということは事実と異なる fact10: その繁栄が気付き易くないとしたらその腸内容物は腑甲斐無くない fact11: もし仮に「その整理信託公社は腑甲斐無くない」ということは確かであるならその繁栄は通じ易い fact12: その腸内容物は腑甲斐無い fact13: 仮にその腸内容物が腑甲斐無いということはないならその繁栄は長々しい fact14: 何かはプロらしい fact15: 仮にその腸内容物は気付き易くないとすれば「その繁栄は腑甲斐無いということはないかまたは長々しかない」ということは嘘である fact16: その整理信託公社が通じ易くないならその腸内容物は気付き易くない fact17: 「「気付き易いかあるいは腑甲斐無くないかどちらもである」ということは嘘な」物はある fact18: 「「通じ易いかもしくは長々しかないかどちらもである」ということは確かでない」物はある ; $hypothesis$ = 「「腑甲斐無くないかあるいは長々しかないかまたはどちらもである」ということは成り立たない」物はある ; $proof$ = 
fact16 & fact4 -> int1: その腸内容物は気付き易くない; int1 & fact15 -> int2: 「その繁栄は腑甲斐無くないか長々しいということはないかあるいは両方ともだ」ということは誤りである; int2 -> hypothesis; __PROVED__
事実1: その二言目は気付き易くない
事実2: 「「通じ易くないか腑甲斐無いかまたは両方である」ということは誤りな」物はある
事実3: 何かは通じ易い
事実4: その整理信託公社は通じ易くない
事実5: 「気付き易くないか通じ易くないかあるいは両方な」物はある
事実6: なにがしかの物は腑甲斐無くないかまたはそれは長々しかない
事実7: もしもその整理信託公社は長々しかないとすると「その繁栄は腑甲斐無くないかそれは通じ易くないかまたはどちらもだ」ということは誤っている
事実8: その整理信託公社は詰まり易いということはない
事実9: 仮にその腸内容物は気付き易くないとすると「「その繁栄は長々しいということはないかあるいは通じ易くない」ということは確かである」ということは事実と異なる
事実10: その繁栄が気付き易くないとしたらその腸内容物は腑甲斐無くない
事実11: もし仮に「その整理信託公社は腑甲斐無くない」ということは確かであるならその繁栄は通じ易い
事実12: その腸内容物は腑甲斐無い
事実13: 仮にその腸内容物が腑甲斐無いということはないならその繁栄は長々しい
事実14: 何かはプロらしい
事実15: 仮にその腸内容物は気付き易くないとすれば「その繁栄は腑甲斐無いということはないかまたは長々しかない」ということは嘘である
事実16: その整理信託公社が通じ易くないならその腸内容物は気付き易くない
事実17: 「「気付き易いかあるいは腑甲斐無くないかどちらもである」ということは嘘な」物はある
事実18: 「「通じ易いかもしくは長々しかないかどちらもである」ということは確かでない」物はある

仮説: 「「腑甲斐無くないかあるいは長々しかないかまたはどちらもである」ということは成り立たない」物はある
1. 事実16と事実4から、推論1: "その腸内容物は気付き易くない"が導かれる
2. 推論1と事実15から、推論2: "「その繁栄は腑甲斐無くないか長々しいということはないかあるいは両方ともだ」ということは誤りである"が導かれる
3. 推論2から、仮説が導かれる

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