その負担軽減は素晴らしい
fact1: もしその改革期が飛び出ないとすればこの金品は一斉付与でないしさらに飛天でない fact2: 両社間は突破する fact3: もし仮になにかは一斉付与でなくてしかもそれは飛天でないとすれば「その足底は両社間だ」ということは本当である fact4: もし「この蟇は御詫び申し上げるけど順応し易いということはない」ということは成り立たないとするとその改革期は飛び出ない fact5: もし仮に「なにかは素晴らしくてそれに御詫びする」ということは間違いであるとするとそれは素晴らしくない fact6: この帝都復興計画は御詫びする fact7: 仮にその足底が突破するとすればその負担軽減は素晴らしい fact8: なんらかの物は飛天であるということはないなら「それは一斉付与であるしかつ飛び出る」ということは間違いだ fact9: あの真空パックは御詫びする fact10: もし「「一斉付与で飛び出る」ということは偽な」ものがあるとするとその負担軽減は飛び出ない fact11: あの真空パックは御詫びするとすると「この蟇は御詫び申し上げる一方で順応し易くない」ということは成り立つということはない
fact11 & fact9 -> int1: 「この蟇は御詫び申し上げるけれど順応し易くない」ということは成り立たない; int1 & fact4 -> int2: その改革期は飛び出ない; int2 & fact1 -> int3: この金品は一斉付与だということはないししかも飛天でない; int3 -> int4: 何らかのものは一斉付与でないし飛天でない; int4 & fact3 -> int5: その足底は両社間である; fact2 -> int6: その足底は両社間であるならそれは突破する; int5 & int6 -> int7: 「その足底は突破する」ということは本当だ; int7 & fact7 -> hypothesis;
その負担軽減は素晴らしくない
fact13 -> int8: もし「その負担軽減は素晴らしいし御詫びする」ということは成り立たないならば素晴らしくない; fact14 -> int9: もしもこの蟇は飛天でないとすると「それは一斉付与であるし飛び出る」ということは偽だ;
$facts$ = fact1: もしその改革期が飛び出ないとすればこの金品は一斉付与でないしさらに飛天でない fact2: 両社間は突破する fact3: もし仮になにかは一斉付与でなくてしかもそれは飛天でないとすれば「その足底は両社間だ」ということは本当である fact4: もし「この蟇は御詫び申し上げるけど順応し易いということはない」ということは成り立たないとするとその改革期は飛び出ない fact5: もし仮に「なにかは素晴らしくてそれに御詫びする」ということは間違いであるとするとそれは素晴らしくない fact6: この帝都復興計画は御詫びする fact7: 仮にその足底が突破するとすればその負担軽減は素晴らしい fact8: なんらかの物は飛天であるということはないなら「それは一斉付与であるしかつ飛び出る」ということは間違いだ fact9: あの真空パックは御詫びする fact10: もし「「一斉付与で飛び出る」ということは偽な」ものがあるとするとその負担軽減は飛び出ない fact11: あの真空パックは御詫びするとすると「この蟇は御詫び申し上げる一方で順応し易くない」ということは成り立つということはない ; $hypothesis$ = その負担軽減は素晴らしい ; $proof$ = 
fact11 & fact9 -> int1: 「この蟇は御詫び申し上げるけれど順応し易くない」ということは成り立たない; int1 & fact4 -> int2: その改革期は飛び出ない; int2 & fact1 -> int3: この金品は一斉付与だということはないししかも飛天でない; int3 -> int4: 何らかのものは一斉付与でないし飛天でない; int4 & fact3 -> int5: その足底は両社間である; fact2 -> int6: その足底は両社間であるならそれは突破する; int5 & int6 -> int7: 「その足底は突破する」ということは本当だ; int7 & fact7 -> hypothesis; __PROVED__
事実1: もしその改革期が飛び出ないとすればこの金品は一斉付与でないしさらに飛天でない
事実2: 両社間は突破する
事実3: もし仮になにかは一斉付与でなくてしかもそれは飛天でないとすれば「その足底は両社間だ」ということは本当である
事実4: もし「この蟇は御詫び申し上げるけど順応し易いということはない」ということは成り立たないとするとその改革期は飛び出ない
事実5: もし仮に「なにかは素晴らしくてそれに御詫びする」ということは間違いであるとするとそれは素晴らしくない
事実6: この帝都復興計画は御詫びする
事実7: 仮にその足底が突破するとすればその負担軽減は素晴らしい
事実8: なんらかの物は飛天であるということはないなら「それは一斉付与であるしかつ飛び出る」ということは間違いだ
事実9: あの真空パックは御詫びする
事実10: もし「「一斉付与で飛び出る」ということは偽な」ものがあるとするとその負担軽減は飛び出ない
事実11: あの真空パックは御詫びするとすると「この蟇は御詫び申し上げる一方で順応し易くない」ということは成り立つということはない

仮説: その負担軽減は素晴らしい
1. 事実11と事実9から、推論1: "「この蟇は御詫び申し上げるけれど順応し易くない」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "その改革期は飛び出ない"が導かれる
3. 推論2と事実1から、推論3: "この金品は一斉付与だということはないししかも飛天でない"が導かれる
4. 推論3から、推論4: "何らかのものは一斉付与でないし飛天でない"が導かれる
5. 推論4と事実3から、推論5: "その足底は両社間である"が導かれる
6. 事実2から、推論6: "その足底は両社間であるならそれは突破する"が導かれる
7. 推論5と推論6から、推論7: "「その足底は突破する」ということは本当だ"が導かれる
8. 推論7と事実7から、仮説が導かれる

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