あの地味さは物憂くない一方で一般需要者だ
fact1: もし仮に「その共生は際どいし交易する」ということは成り立つならその有意味性は仕舞い易くない fact2: 「「一般需要者だ」ということは真実な」ものはある fact3: 「もし「検査後確率でない」ものはあるとしたら「あの地味さは仮定・予測でないけどそれは銘ずる」ということは成り立たない」ということは本当である fact4: もし「何かは仮定・予測であるということはないがしかし銘ずる」ということは間違いであるとすると「物憂くない」ということは確かである fact5: もし仮にその共生が一般需要者でないが仮定・予測であるとしたらあの地味さは交易しない fact6: 仮になにがしかのものが銘ぜないとすると仮定・予測でない fact7: もし仮になんらかのものは仕舞い易くないとしたら「物憂くないけれど一般需要者だ」ということは成り立たない fact8: 「際どかない」ものはあるなら「その共生は物憂いということはないがそれは銘ずる」ということは間違っている fact9: もしもなにかは一般需要者であるとしたらそれは改易しなくてまた際どい fact10: もしもその共生が際どかないがしかし交易するとすればその有意味性は仕舞い易くない fact11: もしも「なにかは物憂いということはない一方で仕舞い易い」ということは成り立つということはないとしたらそれは仮定・予測でない fact12: 何かは仮定・予測でないなら「それは仕舞い易いし更に物憂い」ということは成り立たない fact13: 「「蓄積され易くない」ということは真実な」物はある fact14: 仮に「「仕舞い易いしおまけに物憂い」ということは事実と異なる」ものがあればその不良グループは一般需要者だ fact15: その有意味性が仕舞い易くないとすればあの地味さは一般需要者だ fact16: もしも「「その有意味性は際どかないがしかし仕舞い易い」ということは嘘である」ということは成り立つとしたらそれは交易しない fact17: 仮定・予測は仕舞い易くない fact18: 「「検査後確率でない」ということは間違っていない」ものはある fact19: もしとあるものは検査後確率でないならば「「あの地味さは仮定・予測だし銘ずる」ということは間違っている」ということは成り立つ fact20: その共生は際どいということはないけれどそれは交易する
fact10 & fact20 -> int1: その有意味性は仕舞い易くない; int1 & fact15 -> int2: あの地味さは一般需要者である; fact18 & fact3 -> int3: 「あの地味さは仮定・予測でないけれど銘ずる」ということは間違いである; fact4 -> int4: 「あの地味さは仮定・予測でないけど銘ずる」ということは成り立たないなら物憂くない; int3 & int4 -> int5: あの地味さは物憂くない; int2 & int5 -> hypothesis;
fact10 & fact20 -> int1: ¬{B}{b}; int1 & fact15 -> int2: {A}{c}; fact18 & fact3 -> int3: ¬(¬{D}{c} & {E}{c}); fact4 -> int4: ¬(¬{D}{c} & {E}{c}) -> ¬{C}{c}; int3 & int4 -> int5: ¬{C}{c}; int2 & int5 -> hypothesis;
その不良グループは改易しないが際どい
fact21 -> int6: その不良グループは一般需要者であるとすれば「それが改易しないしさらに際どい」ということは真実だ; fact22 -> int7: 仮にその有意味性が銘ずるということはないとしたらそれは仮定・予測でない; fact24 -> int8: その有意味性は仮定・予測であるということはないとしたら「それは仕舞い易いししかもそれは物憂い」ということは偽だ;
$facts$ = fact1: もし仮に「その共生は際どいし交易する」ということは成り立つならその有意味性は仕舞い易くない fact2: 「「一般需要者だ」ということは真実な」ものはある fact3: 「もし「検査後確率でない」ものはあるとしたら「あの地味さは仮定・予測でないけどそれは銘ずる」ということは成り立たない」ということは本当である fact4: もし「何かは仮定・予測であるということはないがしかし銘ずる」ということは間違いであるとすると「物憂くない」ということは確かである fact5: もし仮にその共生が一般需要者でないが仮定・予測であるとしたらあの地味さは交易しない fact6: 仮になにがしかのものが銘ぜないとすると仮定・予測でない fact7: もし仮になんらかのものは仕舞い易くないとしたら「物憂くないけれど一般需要者だ」ということは成り立たない fact8: 「際どかない」ものはあるなら「その共生は物憂いということはないがそれは銘ずる」ということは間違っている fact9: もしもなにかは一般需要者であるとしたらそれは改易しなくてまた際どい fact10: もしもその共生が際どかないがしかし交易するとすればその有意味性は仕舞い易くない fact11: もしも「なにかは物憂いということはない一方で仕舞い易い」ということは成り立つということはないとしたらそれは仮定・予測でない fact12: 何かは仮定・予測でないなら「それは仕舞い易いし更に物憂い」ということは成り立たない fact13: 「「蓄積され易くない」ということは真実な」物はある fact14: 仮に「「仕舞い易いしおまけに物憂い」ということは事実と異なる」ものがあればその不良グループは一般需要者だ fact15: その有意味性が仕舞い易くないとすればあの地味さは一般需要者だ fact16: もしも「「その有意味性は際どかないがしかし仕舞い易い」ということは嘘である」ということは成り立つとしたらそれは交易しない fact17: 仮定・予測は仕舞い易くない fact18: 「「検査後確率でない」ということは間違っていない」ものはある fact19: もしとあるものは検査後確率でないならば「「あの地味さは仮定・予測だし銘ずる」ということは間違っている」ということは成り立つ fact20: その共生は際どいということはないけれどそれは交易する ; $hypothesis$ = あの地味さは物憂くない一方で一般需要者だ ; $proof$ = 
fact10 & fact20 -> int1: その有意味性は仕舞い易くない; int1 & fact15 -> int2: あの地味さは一般需要者である; fact18 & fact3 -> int3: 「あの地味さは仮定・予測でないけれど銘ずる」ということは間違いである; fact4 -> int4: 「あの地味さは仮定・予測でないけど銘ずる」ということは成り立たないなら物憂くない; int3 & int4 -> int5: あの地味さは物憂くない; int2 & int5 -> hypothesis; __PROVED__
事実1: もし仮に「その共生は際どいし交易する」ということは成り立つならその有意味性は仕舞い易くない
事実2: 「「一般需要者だ」ということは真実な」ものはある
事実3: 「もし「検査後確率でない」ものはあるとしたら「あの地味さは仮定・予測でないけどそれは銘ずる」ということは成り立たない」ということは本当である
事実4: もし「何かは仮定・予測であるということはないがしかし銘ずる」ということは間違いであるとすると「物憂くない」ということは確かである
事実5: もし仮にその共生が一般需要者でないが仮定・予測であるとしたらあの地味さは交易しない
事実6: 仮になにがしかのものが銘ぜないとすると仮定・予測でない
事実7: もし仮になんらかのものは仕舞い易くないとしたら「物憂くないけれど一般需要者だ」ということは成り立たない
事実8: 「際どかない」ものはあるなら「その共生は物憂いということはないがそれは銘ずる」ということは間違っている
事実9: もしもなにかは一般需要者であるとしたらそれは改易しなくてまた際どい
事実10: もしもその共生が際どかないがしかし交易するとすればその有意味性は仕舞い易くない
事実11: もしも「なにかは物憂いということはない一方で仕舞い易い」ということは成り立つということはないとしたらそれは仮定・予測でない
事実12: 何かは仮定・予測でないなら「それは仕舞い易いし更に物憂い」ということは成り立たない
事実13: 「「蓄積され易くない」ということは真実な」物はある
事実14: 仮に「「仕舞い易いしおまけに物憂い」ということは事実と異なる」ものがあればその不良グループは一般需要者だ
事実15: その有意味性が仕舞い易くないとすればあの地味さは一般需要者だ
事実16: もしも「「その有意味性は際どかないがしかし仕舞い易い」ということは嘘である」ということは成り立つとしたらそれは交易しない
事実17: 仮定・予測は仕舞い易くない
事実18: 「「検査後確率でない」ということは間違っていない」ものはある
事実19: もしとあるものは検査後確率でないならば「「あの地味さは仮定・予測だし銘ずる」ということは間違っている」ということは成り立つ
事実20: その共生は際どいということはないけれどそれは交易する

仮説: あの地味さは物憂くない一方で一般需要者だ
1. 事実10と事実20から、推論1: "その有意味性は仕舞い易くない"が導かれる
2. 推論1と事実15から、推論2: "あの地味さは一般需要者である"が導かれる
3. 事実18と事実3から、推論3: "「あの地味さは仮定・予測でないけれど銘ずる」ということは間違いである"が導かれる
4. 事実4から、推論4: "「あの地味さは仮定・予測でないけど銘ずる」ということは成り立たないなら物憂くない"が導かれる
5. 推論3と推論4から、推論5: "あの地味さは物憂くない"が導かれる
6. 推論2と推論5から、仮説が導かれる

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