この非軍事的側面はメタン菌でない
fact1: 仮にこの第二期作は混同し易くないとすれば「この非軍事的側面はメタン菌でない」ということは真実だ fact2: 仮にとあるものが増加出来るしその上生成し易いとしたらこの第二期作は金銭等でない fact3: もしこの第二期作は金銭等であるということはないなら「混同し易いししかもそれはイメージ語である」ということは成り立たない fact4: あの下級審判例は増加出来る fact5: なんらかのものが生成し易くないとしたらメタン菌だし加えて増加出来る fact6: 「増加出来る」物はある fact7: あの下級審判例は生成し易い fact8: 「この第二期作は混同し易いししかもイメージ語である」ということは事実と異なるとすればこの非軍事的側面はメタン菌でない
fact4 & fact7 -> int1: あの下級審判例は増加出来るしさらに生成し易い; int1 -> int2: なんらかのものは増加出来るし生成し易い; int2 & fact2 -> int3: この第二期作は金銭等でない; int3 & fact3 -> int4: 「この第二期作は混同し易いしイメージ語だ」ということは成り立たない; int4 & fact8 -> hypothesis;
この非軍事的側面はメタン菌だ
fact9 -> int5: この非軍事的側面は生成し易くないとするとメタン菌であるし増加出来る;
$facts$ = fact1: 仮にこの第二期作は混同し易くないとすれば「この非軍事的側面はメタン菌でない」ということは真実だ fact2: 仮にとあるものが増加出来るしその上生成し易いとしたらこの第二期作は金銭等でない fact3: もしこの第二期作は金銭等であるということはないなら「混同し易いししかもそれはイメージ語である」ということは成り立たない fact4: あの下級審判例は増加出来る fact5: なんらかのものが生成し易くないとしたらメタン菌だし加えて増加出来る fact6: 「増加出来る」物はある fact7: あの下級審判例は生成し易い fact8: 「この第二期作は混同し易いししかもイメージ語である」ということは事実と異なるとすればこの非軍事的側面はメタン菌でない ; $hypothesis$ = この非軍事的側面はメタン菌でない ; $proof$ = 
fact4 & fact7 -> int1: あの下級審判例は増加出来るしさらに生成し易い; int1 -> int2: なんらかのものは増加出来るし生成し易い; int2 & fact2 -> int3: この第二期作は金銭等でない; int3 & fact3 -> int4: 「この第二期作は混同し易いしイメージ語だ」ということは成り立たない; int4 & fact8 -> hypothesis; __PROVED__
事実1: 仮にこの第二期作は混同し易くないとすれば「この非軍事的側面はメタン菌でない」ということは真実だ
事実2: 仮にとあるものが増加出来るしその上生成し易いとしたらこの第二期作は金銭等でない
事実3: もしこの第二期作は金銭等であるということはないなら「混同し易いししかもそれはイメージ語である」ということは成り立たない
事実4: あの下級審判例は増加出来る
事実5: なんらかのものが生成し易くないとしたらメタン菌だし加えて増加出来る
事実6: 「増加出来る」物はある
事実7: あの下級審判例は生成し易い
事実8: 「この第二期作は混同し易いししかもイメージ語である」ということは事実と異なるとすればこの非軍事的側面はメタン菌でない

仮説: この非軍事的側面はメタン菌でない
1. 事実4と事実7から、推論1: "あの下級審判例は増加出来るしさらに生成し易い"が導かれる
2. 推論1から、推論2: "なんらかのものは増加出来るし生成し易い"が導かれる
3. 推論2と事実2から、推論3: "この第二期作は金銭等でない"が導かれる
4. 推論3と事実3から、推論4: "「この第二期作は混同し易いしイメージ語だ」ということは成り立たない"が導かれる
5. 推論4と事実8から、仮説が導かれる

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