あの売り上げ履歴は貫かない
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: 以下のように仮定する。あの売り上げ履歴は貫く; fact8 & assump1 -> int1: あの売り上げ履歴は仲睦まじいが芽吹かない; int1 -> int2: あの売り上げ履歴は仲睦まじい; int2 & fact9 -> int3: あの売り上げ履歴は自滅する; int3 & fact18 -> int4: 「「あの売り上げ履歴はＰＶＤだということはないけれどノーベル賞委員会である」ということは成り立つ」ということは成り立たない; int4 & fact6 -> int5: その従業者は闘魂でない; int5 & fact20 -> int6: これは矛盾である; [assump1] & int6 -> 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: 以下のように仮定する。あの売り上げ履歴は貫く; fact8 & assump1 -> int1: あの売り上げ履歴は仲睦まじいが芽吹かない; int1 -> int2: あの売り上げ履歴は仲睦まじい; int2 & fact9 -> int3: あの売り上げ履歴は自滅する; int3 & fact18 -> int4: 「「あの売り上げ履歴はＰＶＤだということはないけれどノーベル賞委員会である」ということは成り立つ」ということは成り立たない; int4 & fact6 -> int5: その従業者は闘魂でない; int5 & fact20 -> int6: これは矛盾である; [assump1] & int6 -> 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. 事実8と仮定1から、推論1: "あの売り上げ履歴は仲睦まじいが芽吹かない"が導かれる
3. 推論1から、推論2: "あの売り上げ履歴は仲睦まじい"が導かれる
4. 推論2と事実9から、推論3: "あの売り上げ履歴は自滅する"が導かれる
5. 推論3と事実18から、推論4: "「「あの売り上げ履歴はＰＶＤだということはないけれどノーベル賞委員会である」ということは成り立つ」ということは成り立たない"が導かれる
6. 推論4と事実6から、推論5: "その従業者は闘魂でない"が導かれる
7. 推論5と事実20から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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