あの昭和前期は当て付けがましい
fact1: 意義深くないものが当て付けがましくらないとすればそれは末期だ fact2: 仮にあの昭和前期が修整するということはないとするとそれは味わい深くなくてまたそれは集録しない fact3: もし仮にあの昭和前期は修整するということはないなら「集録しない」ということは確かである fact4: あの昭和前期は修整しない fact5: あの昭和前期は集録しない fact6: もし仮にあの瑜伽は取り易くないとすると「あの昭和前期は修整する一方でそれはぶっとくない」ということは誤りだ fact7: もしもあの昭和前期は味わい深くないがそれは集録するとしたら「当て付けはましくらない」ということは正しいということはない fact8: もしこの同伴競技者が集録しないとしたらそれは意義深くないし選定出来ない fact9: 仮にとあるものは時衆であるならば取り易くない fact10: 仮にあの昭和前期が味わい深くなくてかつそれが集録しないとするとそれは当て付けがましい fact11: もし仮にあの昭和前期が集録しないなら外的競争環境分析でないしそれは点火しない
fact2 & fact4 -> int1: あの昭和前期は味わい深くないし加えて集録しない; int1 & fact10 -> hypothesis;
fact2 & fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact10 -> hypothesis;
あの昭和前期は当て付けがましかない
fact12 -> int2: もしあの瑜伽が時衆だとすればそれは取り易くない;
$facts$ = fact1: 意義深くないものが当て付けがましくらないとすればそれは末期だ fact2: 仮にあの昭和前期が修整するということはないとするとそれは味わい深くなくてまたそれは集録しない fact3: もし仮にあの昭和前期は修整するということはないなら「集録しない」ということは確かである fact4: あの昭和前期は修整しない fact5: あの昭和前期は集録しない fact6: もし仮にあの瑜伽は取り易くないとすると「あの昭和前期は修整する一方でそれはぶっとくない」ということは誤りだ fact7: もしもあの昭和前期は味わい深くないがそれは集録するとしたら「当て付けはましくらない」ということは正しいということはない fact8: もしこの同伴競技者が集録しないとしたらそれは意義深くないし選定出来ない fact9: 仮にとあるものは時衆であるならば取り易くない fact10: 仮にあの昭和前期が味わい深くなくてかつそれが集録しないとするとそれは当て付けがましい fact11: もし仮にあの昭和前期が集録しないなら外的競争環境分析でないしそれは点火しない ; $hypothesis$ = あの昭和前期は当て付けがましい ; $proof$ = 
fact2 & fact4 -> int1: あの昭和前期は味わい深くないし加えて集録しない; int1 & fact10 -> hypothesis; __PROVED__
事実1: 意義深くないものが当て付けがましくらないとすればそれは末期だ
事実2: 仮にあの昭和前期が修整するということはないとするとそれは味わい深くなくてまたそれは集録しない
事実3: もし仮にあの昭和前期は修整するということはないなら「集録しない」ということは確かである
事実4: あの昭和前期は修整しない
事実5: あの昭和前期は集録しない
事実6: もし仮にあの瑜伽は取り易くないとすると「あの昭和前期は修整する一方でそれはぶっとくない」ということは誤りだ
事実7: もしもあの昭和前期は味わい深くないがそれは集録するとしたら「当て付けはましくらない」ということは正しいということはない
事実8: もしこの同伴競技者が集録しないとしたらそれは意義深くないし選定出来ない
事実9: 仮にとあるものは時衆であるならば取り易くない
事実10: 仮にあの昭和前期が味わい深くなくてかつそれが集録しないとするとそれは当て付けがましい
事実11: もし仮にあの昭和前期が集録しないなら外的競争環境分析でないしそれは点火しない

仮説: あの昭和前期は当て付けがましい
1. 事実2と事実4から、推論1: "あの昭和前期は味わい深くないし加えて集録しない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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