この南都は持たない
fact1: 仮にこの前言が合意解除しなくてしかも突き崩さないとしたらこの南都は突き崩さない fact2: その深遠さが合意解除するしその上罵り合う fact3: その深遠さは機種改変しない fact4: もしある物が電離するしそれが合意解除すれば待ち伏せない fact5: このメニュー内が持つとすればこの前言は把握し難い fact6: もし「なにかは罵り合う」ということは確かであるなら「それは持つ」ということは真実である fact7: この前言は電離するし更に嗅ぎ取る fact8: 仮にその深遠さは待ち伏せないとすると「この前言は把握し難くて待ち伏せる」ということは間違っている fact9: この一蓮托生は機種改変しない fact10: もしもある物は機種改変しなくておまけに八甲田山であるということはないとしたら突き崩す fact11: その深遠さは八甲田山でない fact12: 仮に何らかの物は合意解除するか電離しないとしたらそれは合意解除する fact13: 「この前言は把握し難いし更にそれは待ち伏せる」ということは間違っているならばあの南都は持たない fact14: 「把握し難い」ものがあるとするとこの南都は待ち伏せるしさらに突き崩す fact15: もしあるものが突き崩すとするとそれは電離する fact16: このメニュー内は罵り合う fact17: もし「この前言は待ち伏せるし罵り合う」ということは確かでないとしたら待ち伏せない
fact10 -> int1: もしもその深遠さは機種改変しなくて八甲田山でないならそれは突き崩す; fact3 & fact11 -> int2: その深遠さは機種改変しなくて加えてそれは八甲田山でない; int1 & int2 -> int3: その深遠さは突き崩す; fact15 -> int4: もしもその深遠さが突き崩すならそれは電離する; int3 & int4 -> int5: 「その深遠さは電離する」ということは正しい; fact2 -> int6: その深遠さは合意解除する; int5 & int6 -> int7: その深遠さは電離するしかつそれは合意解除する; fact4 -> int8: その深遠さは電離するし合意解除するとしたら「それは待ち伏せない」ということは事実である; int7 & int8 -> int9: その深遠さは待ち伏せない; int9 & fact8 -> int10: 「「この前言は把握し難くて待ち伏せる」ということは正しい」ということは間違っている; int10 & fact13 -> hypothesis;
この南都は合意解除する
fact18 -> int11: もしもこの南都が合意解除するかあるいはそれが電離するということはないならばそれは合意解除する; fact20 -> int12: もし仮にこのメニュー内が罵り合うとするとそれは持つ; int12 & fact22 -> int13: このメニュー内は持つ; fact19 & int13 -> int14: この前言は把握し難い; int14 -> int15: とあるものは把握し難い; int15 & fact21 -> int16: この南都は待ち伏せるしさらに突き崩す; int16 -> int17: この南都は突き崩す;
$facts$ = fact1: 仮にこの前言が合意解除しなくてしかも突き崩さないとしたらこの南都は突き崩さない fact2: その深遠さが合意解除するしその上罵り合う fact3: その深遠さは機種改変しない fact4: もしある物が電離するしそれが合意解除すれば待ち伏せない fact5: このメニュー内が持つとすればこの前言は把握し難い fact6: もし「なにかは罵り合う」ということは確かであるなら「それは持つ」ということは真実である fact7: この前言は電離するし更に嗅ぎ取る fact8: 仮にその深遠さは待ち伏せないとすると「この前言は把握し難くて待ち伏せる」ということは間違っている fact9: この一蓮托生は機種改変しない fact10: もしもある物は機種改変しなくておまけに八甲田山であるということはないとしたら突き崩す fact11: その深遠さは八甲田山でない fact12: 仮に何らかの物は合意解除するか電離しないとしたらそれは合意解除する fact13: 「この前言は把握し難いし更にそれは待ち伏せる」ということは間違っているならばあの南都は持たない fact14: 「把握し難い」ものがあるとするとこの南都は待ち伏せるしさらに突き崩す fact15: もしあるものが突き崩すとするとそれは電離する fact16: このメニュー内は罵り合う fact17: もし「この前言は待ち伏せるし罵り合う」ということは確かでないとしたら待ち伏せない ; $hypothesis$ = この南都は持たない ; $proof$ = 
fact10 -> int1: もしもその深遠さは機種改変しなくて八甲田山でないならそれは突き崩す; fact3 & fact11 -> int2: その深遠さは機種改変しなくて加えてそれは八甲田山でない; int1 & int2 -> int3: その深遠さは突き崩す; fact15 -> int4: もしもその深遠さが突き崩すならそれは電離する; int3 & int4 -> int5: 「その深遠さは電離する」ということは正しい; fact2 -> int6: その深遠さは合意解除する; int5 & int6 -> int7: その深遠さは電離するしかつそれは合意解除する; fact4 -> int8: その深遠さは電離するし合意解除するとしたら「それは待ち伏せない」ということは事実である; int7 & int8 -> int9: その深遠さは待ち伏せない; int9 & fact8 -> int10: 「「この前言は把握し難くて待ち伏せる」ということは正しい」ということは間違っている; int10 & fact13 -> hypothesis; __PROVED__
事実1: 仮にこの前言が合意解除しなくてしかも突き崩さないとしたらこの南都は突き崩さない
事実2: その深遠さが合意解除するしその上罵り合う
事実3: その深遠さは機種改変しない
事実4: もしある物が電離するしそれが合意解除すれば待ち伏せない
事実5: このメニュー内が持つとすればこの前言は把握し難い
事実6: もし「なにかは罵り合う」ということは確かであるなら「それは持つ」ということは真実である
事実7: この前言は電離するし更に嗅ぎ取る
事実8: 仮にその深遠さは待ち伏せないとすると「この前言は把握し難くて待ち伏せる」ということは間違っている
事実9: この一蓮托生は機種改変しない
事実10: もしもある物は機種改変しなくておまけに八甲田山であるということはないとしたら突き崩す
事実11: その深遠さは八甲田山でない
事実12: 仮に何らかの物は合意解除するか電離しないとしたらそれは合意解除する
事実13: 「この前言は把握し難いし更にそれは待ち伏せる」ということは間違っているならばあの南都は持たない
事実14: 「把握し難い」ものがあるとするとこの南都は待ち伏せるしさらに突き崩す
事実15: もしあるものが突き崩すとするとそれは電離する
事実16: このメニュー内は罵り合う
事実17: もし「この前言は待ち伏せるし罵り合う」ということは確かでないとしたら待ち伏せない

仮説: この南都は持たない
1. 事実10から、推論1: "もしもその深遠さは機種改変しなくて八甲田山でないならそれは突き崩す"が導かれる
2. 事実3と事実11から、推論2: "その深遠さは機種改変しなくて加えてそれは八甲田山でない"が導かれる
3. 推論1と推論2から、推論3: "その深遠さは突き崩す"が導かれる
4. 事実15から、推論4: "もしもその深遠さが突き崩すならそれは電離する"が導かれる
5. 推論3と推論4から、推論5: "「その深遠さは電離する」ということは正しい"が導かれる
6. 事実2から、推論6: "その深遠さは合意解除する"が導かれる
7. 推論5と推論6から、推論7: "その深遠さは電離するしかつそれは合意解除する"が導かれる
8. 事実4から、推論8: "その深遠さは電離するし合意解除するとしたら「それは待ち伏せない」ということは事実である"が導かれる
9. 推論7と推論8から、推論9: "その深遠さは待ち伏せない"が導かれる
10. 推論9と事実8から、推論10: "「「この前言は把握し難くて待ち伏せる」ということは正しい」ということは間違っている"が導かれる
11. 推論10と事実13から、仮説が導かれる

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