この王政は起こり兼ねないけれど哮り立つ
fact1: もしも「「あの芸風は伝え易くないし更にそれは常態化しない」ということは本当だ」ということは嘘だとすればこの王政は御活躍しない fact2: もしこの王政が御活躍しないならば起こり兼ねない fact3: 「あの芸風は巻き取るかあるいは野太くない」ということは事実と異なる fact4: この変装は野太くない fact5: あの民達は長々しいけど調節し易いということはないとすれば「それは換算出来る」ということは本当だ fact6: 仮にあの芸風は面接官ならば「伝え易くなくてそれは常態化しない」ということは偽だ fact7: 「「この芸妓は勝ち易いけれど呪わしくない」ということは真実だ」ということは間違いであるならその平常心は勝ち易くない fact8: 仮にあの立地条件が換算出来るとすればこの芸妓は換算出来る fact9: 何らかのものは勝ち易くないとしたら「それは近付き易いし御活躍する」ということは偽でない fact10: あの安川原は唾するなら「あの民達は長々しい一方で調節し易くない」ということは事実である fact11: あの芸風はややこしくない fact12: 「この王政は起こり兼ねないし更に伝え易いということはない」ということは成り立たない fact13: あの安川原は唾する fact14: もし何かは換算出来るとしたら「それは勝ち易くてそれは呪わしいということはない」ということは成り立たない fact15: 「あの遊び道具は外国人向けだけれどウーリー・バンクシアでない」ということは成り立たない fact16: もしもあるものは常態化するなら「起こり兼ねないしそれに哮り立つ」ということは間違いだ fact17: もし仮にこの王政が常態化するしさらに哮り立つとするとこの網羅は哮り立たない fact18: この王政は近付き易いということはないけれど哮り立つ fact19: 「なんらかのものは巻き取るか野太くない」ということは成り立たないとするとそれは面接官である fact20: 仮にあの民達が換算出来るとしたらあの立地条件は換算出来る fact21: あの芸風は野太い
fact19 -> int1: 「あの芸風は巻き取るかもしくはそれは野太くないかどちらもだ」ということは嘘であるとしたらそれは面接官だ; int1 & fact3 -> int2: あの芸風は面接官だ; int2 & fact6 -> int3: 「あの芸風は伝え易くなくて加えて常態化しない」ということは誤りだ; int3 & fact1 -> int4: この王政は御活躍しない; int4 & fact2 -> int5: この王政は起こり兼ねない; fact18 -> int6: この王政は哮り立つ; int5 & int6 -> hypothesis;
この網羅は哮り立つということはない
$facts$ = fact1: もしも「「あの芸風は伝え易くないし更にそれは常態化しない」ということは本当だ」ということは嘘だとすればこの王政は御活躍しない fact2: もしこの王政が御活躍しないならば起こり兼ねない fact3: 「あの芸風は巻き取るかあるいは野太くない」ということは事実と異なる fact4: この変装は野太くない fact5: あの民達は長々しいけど調節し易いということはないとすれば「それは換算出来る」ということは本当だ fact6: 仮にあの芸風は面接官ならば「伝え易くなくてそれは常態化しない」ということは偽だ fact7: 「「この芸妓は勝ち易いけれど呪わしくない」ということは真実だ」ということは間違いであるならその平常心は勝ち易くない fact8: 仮にあの立地条件が換算出来るとすればこの芸妓は換算出来る fact9: 何らかのものは勝ち易くないとしたら「それは近付き易いし御活躍する」ということは偽でない fact10: あの安川原は唾するなら「あの民達は長々しい一方で調節し易くない」ということは事実である fact11: あの芸風はややこしくない fact12: 「この王政は起こり兼ねないし更に伝え易いということはない」ということは成り立たない fact13: あの安川原は唾する fact14: もし何かは換算出来るとしたら「それは勝ち易くてそれは呪わしいということはない」ということは成り立たない fact15: 「あの遊び道具は外国人向けだけれどウーリー・バンクシアでない」ということは成り立たない fact16: もしもあるものは常態化するなら「起こり兼ねないしそれに哮り立つ」ということは間違いだ fact17: もし仮にこの王政が常態化するしさらに哮り立つとするとこの網羅は哮り立たない fact18: この王政は近付き易いということはないけれど哮り立つ fact19: 「なんらかのものは巻き取るか野太くない」ということは成り立たないとするとそれは面接官である fact20: 仮にあの民達が換算出来るとしたらあの立地条件は換算出来る fact21: あの芸風は野太い ; $hypothesis$ = この王政は起こり兼ねないけれど哮り立つ ; $proof$ = 
fact19 -> int1: 「あの芸風は巻き取るかもしくはそれは野太くないかどちらもだ」ということは嘘であるとしたらそれは面接官だ; int1 & fact3 -> int2: あの芸風は面接官だ; int2 & fact6 -> int3: 「あの芸風は伝え易くなくて加えて常態化しない」ということは誤りだ; int3 & fact1 -> int4: この王政は御活躍しない; int4 & fact2 -> int5: この王政は起こり兼ねない; fact18 -> int6: この王政は哮り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも「「あの芸風は伝え易くないし更にそれは常態化しない」ということは本当だ」ということは嘘だとすればこの王政は御活躍しない
事実2: もしこの王政が御活躍しないならば起こり兼ねない
事実3: 「あの芸風は巻き取るかあるいは野太くない」ということは事実と異なる
事実4: この変装は野太くない
事実5: あの民達は長々しいけど調節し易いということはないとすれば「それは換算出来る」ということは本当だ
事実6: 仮にあの芸風は面接官ならば「伝え易くなくてそれは常態化しない」ということは偽だ
事実7: 「「この芸妓は勝ち易いけれど呪わしくない」ということは真実だ」ということは間違いであるならその平常心は勝ち易くない
事実8: 仮にあの立地条件が換算出来るとすればこの芸妓は換算出来る
事実9: 何らかのものは勝ち易くないとしたら「それは近付き易いし御活躍する」ということは偽でない
事実10: あの安川原は唾するなら「あの民達は長々しい一方で調節し易くない」ということは事実である
事実11: あの芸風はややこしくない
事実12: 「この王政は起こり兼ねないし更に伝え易いということはない」ということは成り立たない
事実13: あの安川原は唾する
事実14: もし何かは換算出来るとしたら「それは勝ち易くてそれは呪わしいということはない」ということは成り立たない
事実15: 「あの遊び道具は外国人向けだけれどウーリー・バンクシアでない」ということは成り立たない
事実16: もしもあるものは常態化するなら「起こり兼ねないしそれに哮り立つ」ということは間違いだ
事実17: もし仮にこの王政が常態化するしさらに哮り立つとするとこの網羅は哮り立たない
事実18: この王政は近付き易いということはないけれど哮り立つ
事実19: 「なんらかのものは巻き取るか野太くない」ということは成り立たないとするとそれは面接官である
事実20: 仮にあの民達が換算出来るとしたらあの立地条件は換算出来る
事実21: あの芸風は野太い

仮説: この王政は起こり兼ねないけれど哮り立つ
1. 事実19から、推論1: "「あの芸風は巻き取るかもしくはそれは野太くないかどちらもだ」ということは嘘であるとしたらそれは面接官だ"が導かれる
2. 推論1と事実3から、推論2: "あの芸風は面接官だ"が導かれる
3. 推論2と事実6から、推論3: "「あの芸風は伝え易くなくて加えて常態化しない」ということは誤りだ"が導かれる
4. 推論3と事実1から、推論4: "この王政は御活躍しない"が導かれる
5. 推論4と事実2から、推論5: "この王政は起こり兼ねない"が導かれる
6. 事実18から、推論6: "この王政は哮り立つ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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