あの健法は輝かしい
fact1: もしも何かは不倫しないならば「厚ぼったくないが下ろし汁だ」ということは偽だ fact2: あの排菌は不倫しないとすれば「「厚ぼったいしおまけにそれは下ろし汁だ」ということは成り立つ」ということは成り立たない fact3: 仮にその政治的現実が理論武装でないならばその林檎酸は職業書家でない fact4: もし仮に「なんらかのものは許し難くないししかも武器輸出でない」ということは成り立たないとすれば「輝かしい」ということは成り立つ fact5: もし仮にあるものは職業書家であるかもしくは探究ならば武器輸出でない fact6: なんらかのものは厚ぼったくないものでありかつ下ろし汁だ fact7: もしもその林檎酸が理論武装でないかまたはそれが武器輸出だということはないならあの排菌は不倫するということはない fact8: 「「厚ぼったくなくてまた下ろし汁だ」ということは事実と異なる」物はあるなら「あの健法は輝かしくない」ということは成り立つ fact9: 「あの排菌は厚ぼったくて下ろし汁だ」ということは誤りである fact10: 仮になにがしかの物は理論武装ならば「許し難いということはないしさらに武器輸出でない」ということは成り立たない fact11: 「「厚ぼったいし下ろし汁だ」ということは成り立つということはない」ものはある fact12: もしもその政治的現実が許し難くないとすればあの林檎酸は職業書家であるかまたは探究だ fact13: その政治的現実は許し難いということはない fact14: もし仮に「あの排菌は遺伝要因だけど重たくない」ということは嘘であるとしたら「その林檎酸は下ろし汁である」ということは本当だ
fact12 & fact13 -> int1: その林檎酸は職業書家であるかあるいはそれは探究だ; fact5 -> int2: もしその林檎酸が職業書家であるかもしくは探究だとするとそれは武器輸出だということはない; int1 & int2 -> int3: その林檎酸は武器輸出でない; int3 -> int4: その林檎酸は理論武装でないかまたは武器輸出でないかどちらもである; int4 & fact7 -> int5: あの排菌は不倫しない; fact1 -> int6: 仮に「あの排菌は不倫しない」ということは本当だとすれば「厚ぼったくなくてまたそれは下ろし汁である」ということは嘘である; int5 & int6 -> int7: 「あの排菌は厚ぼったくない物であり下ろし汁である」ということは成り立たない; int7 -> int8: 「「厚ぼったくない下ろし汁だ」ということは間違っている」ものはある; int8 & fact8 -> hypothesis;
あの健法は輝かしい
fact15 -> int9: 仮に「あの健法は許し難くないし武器輸出であるということはない」ということは確かだということはないとすると輝かしい; fact16 -> int10: もしもあの健法は理論武装だとすると「許し難くないしそれにそれは武器輸出だということはない」ということは嘘である;
$facts$ = fact1: もしも何かは不倫しないならば「厚ぼったくないが下ろし汁だ」ということは偽だ fact2: あの排菌は不倫しないとすれば「「厚ぼったいしおまけにそれは下ろし汁だ」ということは成り立つ」ということは成り立たない fact3: 仮にその政治的現実が理論武装でないならばその林檎酸は職業書家でない fact4: もし仮に「なんらかのものは許し難くないししかも武器輸出でない」ということは成り立たないとすれば「輝かしい」ということは成り立つ fact5: もし仮にあるものは職業書家であるかもしくは探究ならば武器輸出でない fact6: なんらかのものは厚ぼったくないものでありかつ下ろし汁だ fact7: もしもその林檎酸が理論武装でないかまたはそれが武器輸出だということはないならあの排菌は不倫するということはない fact8: 「「厚ぼったくなくてまた下ろし汁だ」ということは事実と異なる」物はあるなら「あの健法は輝かしくない」ということは成り立つ fact9: 「あの排菌は厚ぼったくて下ろし汁だ」ということは誤りである fact10: 仮になにがしかの物は理論武装ならば「許し難いということはないしさらに武器輸出でない」ということは成り立たない fact11: 「「厚ぼったいし下ろし汁だ」ということは成り立つということはない」ものはある fact12: もしもその政治的現実が許し難くないとすればあの林檎酸は職業書家であるかまたは探究だ fact13: その政治的現実は許し難いということはない fact14: もし仮に「あの排菌は遺伝要因だけど重たくない」ということは嘘であるとしたら「その林檎酸は下ろし汁である」ということは本当だ ; $hypothesis$ = あの健法は輝かしい ; $proof$ = 
fact12 & fact13 -> int1: その林檎酸は職業書家であるかあるいはそれは探究だ; fact5 -> int2: もしその林檎酸が職業書家であるかもしくは探究だとするとそれは武器輸出だということはない; int1 & int2 -> int3: その林檎酸は武器輸出でない; int3 -> int4: その林檎酸は理論武装でないかまたは武器輸出でないかどちらもである; int4 & fact7 -> int5: あの排菌は不倫しない; fact1 -> int6: 仮に「あの排菌は不倫しない」ということは本当だとすれば「厚ぼったくなくてまたそれは下ろし汁である」ということは嘘である; int5 & int6 -> int7: 「あの排菌は厚ぼったくない物であり下ろし汁である」ということは成り立たない; int7 -> int8: 「「厚ぼったくない下ろし汁だ」ということは間違っている」ものはある; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも何かは不倫しないならば「厚ぼったくないが下ろし汁だ」ということは偽だ
事実2: あの排菌は不倫しないとすれば「「厚ぼったいしおまけにそれは下ろし汁だ」ということは成り立つ」ということは成り立たない
事実3: 仮にその政治的現実が理論武装でないならばその林檎酸は職業書家でない
事実4: もし仮に「なんらかのものは許し難くないししかも武器輸出でない」ということは成り立たないとすれば「輝かしい」ということは成り立つ
事実5: もし仮にあるものは職業書家であるかもしくは探究ならば武器輸出でない
事実6: なんらかのものは厚ぼったくないものでありかつ下ろし汁だ
事実7: もしもその林檎酸が理論武装でないかまたはそれが武器輸出だということはないならあの排菌は不倫するということはない
事実8: 「「厚ぼったくなくてまた下ろし汁だ」ということは事実と異なる」物はあるなら「あの健法は輝かしくない」ということは成り立つ
事実9: 「あの排菌は厚ぼったくて下ろし汁だ」ということは誤りである
事実10: 仮になにがしかの物は理論武装ならば「許し難いということはないしさらに武器輸出でない」ということは成り立たない
事実11: 「「厚ぼったいし下ろし汁だ」ということは成り立つということはない」ものはある
事実12: もしもその政治的現実が許し難くないとすればあの林檎酸は職業書家であるかまたは探究だ
事実13: その政治的現実は許し難いということはない
事実14: もし仮に「あの排菌は遺伝要因だけど重たくない」ということは嘘であるとしたら「その林檎酸は下ろし汁である」ということは本当だ

仮説: あの健法は輝かしい
1. 事実12と事実13から、推論1: "その林檎酸は職業書家であるかあるいはそれは探究だ"が導かれる
2. 事実5から、推論2: "もしその林檎酸が職業書家であるかもしくは探究だとするとそれは武器輸出だということはない"が導かれる
3. 推論1と推論2から、推論3: "その林檎酸は武器輸出でない"が導かれる
4. 推論3から、推論4: "その林檎酸は理論武装でないかまたは武器輸出でないかどちらもである"が導かれる
5. 推論4と事実7から、推論5: "あの排菌は不倫しない"が導かれる
6. 事実1から、推論6: "仮に「あの排菌は不倫しない」ということは本当だとすれば「厚ぼったくなくてまたそれは下ろし汁である」ということは嘘である"が導かれる
7. 推論5と推論6から、推論7: "「あの排菌は厚ぼったくない物であり下ろし汁である」ということは成り立たない"が導かれる
8. 推論7から、推論8: "「「厚ぼったくない下ろし汁だ」ということは間違っている」ものはある"が導かれる
9. 推論8と事実8から、仮説が否定される

よって、仮説が否定されました。