あの生産財はひ弱くない
fact1: あの生産財は忠でまた分担する fact2: 「何かは主任研究員であるかまたはそれは葉菜類であるということはない」ということは成り立たないとするとそれは吹き易い fact3: このＣＭＭ三以上は被弾だ fact4: このＣＭＭ三以上はエッジ部分でない fact5: もしも予測し難いものは忠であるならば「それはひ弱くない」ということは成り立つ fact6: もしもこの出現率が奏功するが吹き易くないとすればあの生産財は奏功しない fact7: もしも「このオンライン注文は被弾でないしさらにそれは奏功しない」ということは誤りならばあのＣＭＭ三以上はエッジ部分である fact8: もしも「この出現率は吹き易い」ということは事実であるとしたら「このオンライン注文は被弾でないし奏功するということはない」ということは間違いである fact9: もしもあの生産財は予測し難くないなら「この出現率は主任研究員であるかあるいは葉菜類でない」ということは真実でない
void -> assump1: 以下のように仮定する。あの生産財は予測し難くない; fact9 & assump1 -> int1: 「この出現率は主任研究員であるかあるいは葉菜類でないかあるいは両方だ」ということは嘘だ; fact2 -> int2: もし「この出現率は主任研究員であるかあるいはそれは葉菜類でないかもしくはどちらもである」ということは誤っているとするとそれは吹き易い; int1 & int2 -> int3: この出現率は吹き易い; int3 & fact8 -> int4: 「このオンライン注文は被弾でなくて奏功しない」ということは偽である; int4 & fact7 -> int5: 「このＣＭＭ三以上はエッジ部分である」ということは正しい; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの生産財は予測し難い; fact1 -> int8: 「あの生産財は忠だ」ということは正しい; int7 & int8 -> int9: あの生産財は予測し難いしおまけにそれは忠だ; fact5 -> int10: あの生産財が予測し難いしその上忠ならそれはひ弱くない; int9 & int10 -> hypothesis;
あの生産財は奏功しない
$facts$ = fact1: あの生産財は忠でまた分担する fact2: 「何かは主任研究員であるかまたはそれは葉菜類であるということはない」ということは成り立たないとするとそれは吹き易い fact3: このＣＭＭ三以上は被弾だ fact4: このＣＭＭ三以上はエッジ部分でない fact5: もしも予測し難いものは忠であるならば「それはひ弱くない」ということは成り立つ fact6: もしもこの出現率が奏功するが吹き易くないとすればあの生産財は奏功しない fact7: もしも「このオンライン注文は被弾でないしさらにそれは奏功しない」ということは誤りならばあのＣＭＭ三以上はエッジ部分である fact8: もしも「この出現率は吹き易い」ということは事実であるとしたら「このオンライン注文は被弾でないし奏功するということはない」ということは間違いである fact9: もしもあの生産財は予測し難くないなら「この出現率は主任研究員であるかあるいは葉菜類でない」ということは真実でない ; $hypothesis$ = あの生産財はひ弱くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの生産財は予測し難くない; fact9 & assump1 -> int1: 「この出現率は主任研究員であるかあるいは葉菜類でないかあるいは両方だ」ということは嘘だ; fact2 -> int2: もし「この出現率は主任研究員であるかあるいはそれは葉菜類でないかもしくはどちらもである」ということは誤っているとするとそれは吹き易い; int1 & int2 -> int3: この出現率は吹き易い; int3 & fact8 -> int4: 「このオンライン注文は被弾でなくて奏功しない」ということは偽である; int4 & fact7 -> int5: 「このＣＭＭ三以上はエッジ部分である」ということは正しい; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの生産財は予測し難い; fact1 -> int8: 「あの生産財は忠だ」ということは正しい; int7 & int8 -> int9: あの生産財は予測し難いしおまけにそれは忠だ; fact5 -> int10: あの生産財が予測し難いしその上忠ならそれはひ弱くない; int9 & int10 -> hypothesis; __PROVED__
事実1: あの生産財は忠でまた分担する
事実2: 「何かは主任研究員であるかまたはそれは葉菜類であるということはない」ということは成り立たないとするとそれは吹き易い
事実3: このＣＭＭ三以上は被弾だ
事実4: このＣＭＭ三以上はエッジ部分でない
事実5: もしも予測し難いものは忠であるならば「それはひ弱くない」ということは成り立つ
事実6: もしもこの出現率が奏功するが吹き易くないとすればあの生産財は奏功しない
事実7: もしも「このオンライン注文は被弾でないしさらにそれは奏功しない」ということは誤りならばあのＣＭＭ三以上はエッジ部分である
事実8: もしも「この出現率は吹き易い」ということは事実であるとしたら「このオンライン注文は被弾でないし奏功するということはない」ということは間違いである
事実9: もしもあの生産財は予測し難くないなら「この出現率は主任研究員であるかあるいは葉菜類でない」ということは真実でない

仮説: あの生産財はひ弱くない
1. 仮定1: 以下のように仮定する。あの生産財は予測し難くない
2. 事実9と仮定1から、推論1: "「この出現率は主任研究員であるかあるいは葉菜類でないかあるいは両方だ」ということは嘘だ"が導かれる
3. 事実2から、推論2: "もし「この出現率は主任研究員であるかあるいはそれは葉菜類でないかもしくはどちらもである」ということは誤っているとするとそれは吹き易い"が導かれる
4. 推論1と推論2から、推論3: "この出現率は吹き易い"が導かれる
5. 推論3と事実8から、推論4: "「このオンライン注文は被弾でなくて奏功しない」ということは偽である"が導かれる
6. 推論4と事実7から、推論5: "「このＣＭＭ三以上はエッジ部分である」ということは正しい"が導かれる
7. 推論5と事実4から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの生産財は予測し難い"が導かれる
9. 事実1から、推論8: "「あの生産財は忠だ」ということは正しい"が導かれる
10. 推論7と推論8から、推論9: "あの生産財は予測し難いしおまけにそれは忠だ"が導かれる
11. 事実5から、推論10: "あの生産財が予測し難いしその上忠ならそれはひ弱くない"が導かれる
12. 推論9と推論10から、仮説が導かれる

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