あのタリバン政権は勝ち易くない
fact1: もしもこの文明圏が回復・上昇局面であるということはなくて更に鬱陶しいということはないとしたらこの徹底取材は鬱陶しかない fact2: なんらかの物は相同性だとしたら「この徹底取材は無毒化するけれど各食品でない」ということは間違いである fact3: もしある物はえするということはないとしたら「それは勝ち易いしそれは鬱陶しかない」ということは偽である fact4: あのタリバン政権は霊廟だ fact5: 仮に「「なにがしかの物は勝ち易いがしかし鬱陶しかない」ということは確かだ」ということは嘘であるならそれは停止する fact6: もし「「何かは無毒化する一方で各食品でない」ということは成り立つ」ということは成り立たないとすればそれは無毒化するということはない fact7: もしもこの文明圏が回復・上昇局面であるがそれは鬱陶しかないなら「この徹底取材は鬱陶しかない」ということは成り立つ fact8: 「相同性な」物はある fact9: もしこの文明圏が散策出来ないけど移り難いとすればこの徹底取材は絶叫しない fact10: もしもなんらかのものが絶叫するということはないが回復・上昇局面だとすればえしない fact11: 全てのものは革命運動でない fact12: もし仮に「あの道路公園は絶叫するかあるいは無毒化しないかまたは両方ともだ」ということは偽だとしたらあのタリバン政権は絶叫しない fact13: この徹底取材は散策出来ない fact14: この徹底取材は回復・上昇局面である fact15: 仮にあのタリバン政権が勝ち易いとしたらこの徹底取材は鬱陶しい fact16: なんらかの物は革命運動でないとすると散策出来ないがしかし移り難い fact17: この文明圏は回復・上昇局面であるということはないししかも鬱陶しかない fact18: 「もしもこの徹底取材が散策出来ないとすればあのタリバン政権は回復・上昇局面で止む無い」ということは本当である fact19: この文明圏は回復・上昇局面でない fact20: もし仮にこの徹底取材が無毒化しないとしたら止む無いし更にそれは回復・上昇局面だ
void -> assump1: 以下のように仮定する。あのタリバン政権は勝ち易い; fact15 & assump1 -> int1: この徹底取材は鬱陶しい; fact1 & fact17 -> int2: 「この徹底取材は鬱陶しかない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この文明圏は停止する」ということは偽でない
fact22 -> int4: もし仮に「この文明圏は勝ち易いけど鬱陶しかない」ということは誤っているとすればそれは停止する; fact23 -> int5: この文明圏はえしないとしたら「それは勝ち易いけど鬱陶しかない」ということは誤っている; fact21 & fact24 -> int6: あのタリバン政権は回復・上昇局面であるしさらにそれは止む無い; int6 -> int7: あのタリバン政権は回復・上昇局面である;
$facts$ = fact1: もしもこの文明圏が回復・上昇局面であるということはなくて更に鬱陶しいということはないとしたらこの徹底取材は鬱陶しかない fact2: なんらかの物は相同性だとしたら「この徹底取材は無毒化するけれど各食品でない」ということは間違いである fact3: もしある物はえするということはないとしたら「それは勝ち易いしそれは鬱陶しかない」ということは偽である fact4: あのタリバン政権は霊廟だ fact5: 仮に「「なにがしかの物は勝ち易いがしかし鬱陶しかない」ということは確かだ」ということは嘘であるならそれは停止する fact6: もし「「何かは無毒化する一方で各食品でない」ということは成り立つ」ということは成り立たないとすればそれは無毒化するということはない fact7: もしもこの文明圏が回復・上昇局面であるがそれは鬱陶しかないなら「この徹底取材は鬱陶しかない」ということは成り立つ fact8: 「相同性な」物はある fact9: もしこの文明圏が散策出来ないけど移り難いとすればこの徹底取材は絶叫しない fact10: もしもなんらかのものが絶叫するということはないが回復・上昇局面だとすればえしない fact11: 全てのものは革命運動でない fact12: もし仮に「あの道路公園は絶叫するかあるいは無毒化しないかまたは両方ともだ」ということは偽だとしたらあのタリバン政権は絶叫しない fact13: この徹底取材は散策出来ない fact14: この徹底取材は回復・上昇局面である fact15: 仮にあのタリバン政権が勝ち易いとしたらこの徹底取材は鬱陶しい fact16: なんらかの物は革命運動でないとすると散策出来ないがしかし移り難い fact17: この文明圏は回復・上昇局面であるということはないししかも鬱陶しかない fact18: 「もしもこの徹底取材が散策出来ないとすればあのタリバン政権は回復・上昇局面で止む無い」ということは本当である fact19: この文明圏は回復・上昇局面でない fact20: もし仮にこの徹底取材が無毒化しないとしたら止む無いし更にそれは回復・上昇局面だ ; $hypothesis$ = あのタリバン政権は勝ち易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのタリバン政権は勝ち易い; fact15 & assump1 -> int1: この徹底取材は鬱陶しい; fact1 & fact17 -> int2: 「この徹底取材は鬱陶しかない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこの文明圏が回復・上昇局面であるということはなくて更に鬱陶しいということはないとしたらこの徹底取材は鬱陶しかない
事実2: なんらかの物は相同性だとしたら「この徹底取材は無毒化するけれど各食品でない」ということは間違いである
事実3: もしある物はえするということはないとしたら「それは勝ち易いしそれは鬱陶しかない」ということは偽である
事実4: あのタリバン政権は霊廟だ
事実5: 仮に「「なにがしかの物は勝ち易いがしかし鬱陶しかない」ということは確かだ」ということは嘘であるならそれは停止する
事実6: もし「「何かは無毒化する一方で各食品でない」ということは成り立つ」ということは成り立たないとすればそれは無毒化するということはない
事実7: もしもこの文明圏が回復・上昇局面であるがそれは鬱陶しかないなら「この徹底取材は鬱陶しかない」ということは成り立つ
事実8: 「相同性な」物はある
事実9: もしこの文明圏が散策出来ないけど移り難いとすればこの徹底取材は絶叫しない
事実10: もしもなんらかのものが絶叫するということはないが回復・上昇局面だとすればえしない
事実11: 全てのものは革命運動でない
事実12: もし仮に「あの道路公園は絶叫するかあるいは無毒化しないかまたは両方ともだ」ということは偽だとしたらあのタリバン政権は絶叫しない
事実13: この徹底取材は散策出来ない
事実14: この徹底取材は回復・上昇局面である
事実15: 仮にあのタリバン政権が勝ち易いとしたらこの徹底取材は鬱陶しい
事実16: なんらかの物は革命運動でないとすると散策出来ないがしかし移り難い
事実17: この文明圏は回復・上昇局面であるということはないししかも鬱陶しかない
事実18: 「もしもこの徹底取材が散策出来ないとすればあのタリバン政権は回復・上昇局面で止む無い」ということは本当である
事実19: この文明圏は回復・上昇局面でない
事実20: もし仮にこの徹底取材が無毒化しないとしたら止む無いし更にそれは回復・上昇局面だ

仮説: あのタリバン政権は勝ち易くない
1. 仮定1: 以下のように仮定する。あのタリバン政権は勝ち易い
2. 事実15と仮定1から、推論1: "この徹底取材は鬱陶しい"が導かれる
3. 事実1と事実17から、推論2: "「この徹底取材は鬱陶しかない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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