なにかは潔くないし加えて断り切れるということはない
fact1: その貨幣量がジープだということはないしその上湯沸かし器でない fact2: もし仮にとあるものが押っ付けないとすれば照らし合わさない fact3: 「あの集団化は押っ付けるし実部である」ということは偽である fact4: 「あの集団化は行方不明でないけれど湯沸かし器である」ということは事実と異なる fact5: 「あのウォーは人形遊びであるけど実部でない」ということは成り立たない fact6: 仮にあの集団化は可変出来なくて加えて一元化しないとしたら自己実現出来ない fact7: 仮にあの集団化が押っ付けないとしたらそれは照らし合わさない fact8: 「変ずるが発揮し難くない」ものはある fact9: 「あのウォーは人形遊びであるけど断り切れない」ということは成り立たない fact10: 「あのウォーは潔くてそれは夥しい」ということは成り立たない fact11: もし「あのウォーは断り切れるしまた湯沸かし器だ」ということは間違っているとすれば「抜き出さない」ということは成り立つ fact12: なにがしかの物は人形遊びでないがしかし行方不明だ fact13: 仮に何かは抜き出すとすると「それは照らし合わす」ということは成り立つ fact14: あの鉛合金は押っ付けないし生成し易くない fact15: 「「術後経過でない」ということは正しい」ものはある fact16: 「あの集団化は自己実現出来ないし説明し易いということはない」ということは誤りである fact17: もしも「なんらかの物は活動し難いし毒する」ということは偽であるならば断層でない fact18: 行方不明は湯沸かし器でないとしたらそれは潔くない fact19: もしも「あのウォーは人形遊びだけど断り切れない」ということは正しくないとしたらあの集団化は断り切れない fact20: 「あのウォーは人形遊びだしさらに押っ付ける」ということは嘘である fact21: あの集団化は人形遊びでないけれど倒れ難いならばそれは安っぽくない fact22: 仮にあの集団化は行方不明だが湯沸かし器でないとすれば「それは潔くない」ということは事実である fact23: もし仮にとある物は行方不明でないしまた湯沸かし器であるということはないとすると「潔くない」ということは事実である fact24: 仮に「ある物は押っ付けるし更に実部だ」ということは真実でないとすると照らし合わさない fact25: もし「あの集団化は行方不明でないしそれは湯沸かし器でない」ということは間違っていれば抜き出す
void -> assump1: 以下のように仮定する。「あの集団化は行方不明でなくてかつ湯沸かし器だということはない」ということは間違いだ; fact25 & assump1 -> int1: あの集団化は抜き出す; fact13 -> int2: もしもあの集団化が抜き出すとすると照らし合わす; int1 & int2 -> int3: あの集団化は照らし合わす; fact24 -> int4: もし「あの集団化は押っ付けるし実部である」ということは成り立たないとすれば照らし合わさない; int4 & fact3 -> int5: あの集団化は照らし合わさない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの集団化は行方不明でなくて更に湯沸かし器であるということはない; fact23 -> int8: もし仮にあの集団化は行方不明でなくてしかも湯沸かし器であるということはないとすればそれは潔くない; int7 & int8 -> int9: あの集団化は潔くない; fact9 & fact19 -> int10: あの集団化は断り切れない; int9 & int10 -> int11: あの集団化は潔くなくておまけに断り切れるということはない; int11 -> hypothesis;
$facts$ = fact1: その貨幣量がジープだということはないしその上湯沸かし器でない fact2: もし仮にとあるものが押っ付けないとすれば照らし合わさない fact3: 「あの集団化は押っ付けるし実部である」ということは偽である fact4: 「あの集団化は行方不明でないけれど湯沸かし器である」ということは事実と異なる fact5: 「あのウォーは人形遊びであるけど実部でない」ということは成り立たない fact6: 仮にあの集団化は可変出来なくて加えて一元化しないとしたら自己実現出来ない fact7: 仮にあの集団化が押っ付けないとしたらそれは照らし合わさない fact8: 「変ずるが発揮し難くない」ものはある fact9: 「あのウォーは人形遊びであるけど断り切れない」ということは成り立たない fact10: 「あのウォーは潔くてそれは夥しい」ということは成り立たない fact11: もし「あのウォーは断り切れるしまた湯沸かし器だ」ということは間違っているとすれば「抜き出さない」ということは成り立つ fact12: なにがしかの物は人形遊びでないがしかし行方不明だ fact13: 仮に何かは抜き出すとすると「それは照らし合わす」ということは成り立つ fact14: あの鉛合金は押っ付けないし生成し易くない fact15: 「「術後経過でない」ということは正しい」ものはある fact16: 「あの集団化は自己実現出来ないし説明し易いということはない」ということは誤りである fact17: もしも「なんらかの物は活動し難いし毒する」ということは偽であるならば断層でない fact18: 行方不明は湯沸かし器でないとしたらそれは潔くない fact19: もしも「あのウォーは人形遊びだけど断り切れない」ということは正しくないとしたらあの集団化は断り切れない fact20: 「あのウォーは人形遊びだしさらに押っ付ける」ということは嘘である fact21: あの集団化は人形遊びでないけれど倒れ難いならばそれは安っぽくない fact22: 仮にあの集団化は行方不明だが湯沸かし器でないとすれば「それは潔くない」ということは事実である fact23: もし仮にとある物は行方不明でないしまた湯沸かし器であるということはないとすると「潔くない」ということは事実である fact24: 仮に「ある物は押っ付けるし更に実部だ」ということは真実でないとすると照らし合わさない fact25: もし「あの集団化は行方不明でないしそれは湯沸かし器でない」ということは間違っていれば抜き出す ; $hypothesis$ = なにかは潔くないし加えて断り切れるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの集団化は行方不明でなくてかつ湯沸かし器だということはない」ということは間違いだ; fact25 & assump1 -> int1: あの集団化は抜き出す; fact13 -> int2: もしもあの集団化が抜き出すとすると照らし合わす; int1 & int2 -> int3: あの集団化は照らし合わす; fact24 -> int4: もし「あの集団化は押っ付けるし実部である」ということは成り立たないとすれば照らし合わさない; int4 & fact3 -> int5: あの集団化は照らし合わさない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの集団化は行方不明でなくて更に湯沸かし器であるということはない; fact23 -> int8: もし仮にあの集団化は行方不明でなくてしかも湯沸かし器であるということはないとすればそれは潔くない; int7 & int8 -> int9: あの集団化は潔くない; fact9 & fact19 -> int10: あの集団化は断り切れない; int9 & int10 -> int11: あの集団化は潔くなくておまけに断り切れるということはない; int11 -> hypothesis; __PROVED__
事実1: その貨幣量がジープだということはないしその上湯沸かし器でない
事実2: もし仮にとあるものが押っ付けないとすれば照らし合わさない
事実3: 「あの集団化は押っ付けるし実部である」ということは偽である
事実4: 「あの集団化は行方不明でないけれど湯沸かし器である」ということは事実と異なる
事実5: 「あのウォーは人形遊びであるけど実部でない」ということは成り立たない
事実6: 仮にあの集団化は可変出来なくて加えて一元化しないとしたら自己実現出来ない
事実7: 仮にあの集団化が押っ付けないとしたらそれは照らし合わさない
事実8: 「変ずるが発揮し難くない」ものはある
事実9: 「あのウォーは人形遊びであるけど断り切れない」ということは成り立たない
事実10: 「あのウォーは潔くてそれは夥しい」ということは成り立たない
事実11: もし「あのウォーは断り切れるしまた湯沸かし器だ」ということは間違っているとすれば「抜き出さない」ということは成り立つ
事実12: なにがしかの物は人形遊びでないがしかし行方不明だ
事実13: 仮に何かは抜き出すとすると「それは照らし合わす」ということは成り立つ
事実14: あの鉛合金は押っ付けないし生成し易くない
事実15: 「「術後経過でない」ということは正しい」ものはある
事実16: 「あの集団化は自己実現出来ないし説明し易いということはない」ということは誤りである
事実17: もしも「なんらかの物は活動し難いし毒する」ということは偽であるならば断層でない
事実18: 行方不明は湯沸かし器でないとしたらそれは潔くない
事実19: もしも「あのウォーは人形遊びだけど断り切れない」ということは正しくないとしたらあの集団化は断り切れない
事実20: 「あのウォーは人形遊びだしさらに押っ付ける」ということは嘘である
事実21: あの集団化は人形遊びでないけれど倒れ難いならばそれは安っぽくない
事実22: 仮にあの集団化は行方不明だが湯沸かし器でないとすれば「それは潔くない」ということは事実である
事実23: もし仮にとある物は行方不明でないしまた湯沸かし器であるということはないとすると「潔くない」ということは事実である
事実24: 仮に「ある物は押っ付けるし更に実部だ」ということは真実でないとすると照らし合わさない
事実25: もし「あの集団化は行方不明でないしそれは湯沸かし器でない」ということは間違っていれば抜き出す

仮説: なにかは潔くないし加えて断り切れるということはない
1. 仮定1: 以下のように仮定する。「あの集団化は行方不明でなくてかつ湯沸かし器だということはない」ということは間違いだ
2. 事実25と仮定1から、推論1: "あの集団化は抜き出す"が導かれる
3. 事実13から、推論2: "もしもあの集団化が抜き出すとすると照らし合わす"が導かれる
4. 推論1と推論2から、推論3: "あの集団化は照らし合わす"が導かれる
5. 事実24から、推論4: "もし「あの集団化は押っ付けるし実部である」ということは成り立たないとすれば照らし合わさない"が導かれる
6. 推論4と事実3から、推論5: "あの集団化は照らし合わさない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの集団化は行方不明でなくて更に湯沸かし器であるということはない"が導かれる
9. 事実23から、推論8: "もし仮にあの集団化は行方不明でなくてしかも湯沸かし器であるということはないとすればそれは潔くない"が導かれる
10. 推論7と推論8から、推論9: "あの集団化は潔くない"が導かれる
11. 事実9と事実19から、推論10: "あの集団化は断り切れない"が導かれる
12. 推論9と推論10から、推論11: "あの集団化は潔くなくておまけに断り切れるということはない"が導かれる
13. 推論11から、仮説が導かれる

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