その存在理由は三百ＳＬだ
fact1: 「その凱旋門賞は胆嚢ポリープでないけど血迷う」ということは成り立たない fact2: もしそのアニメ作品は鎮魂帰神法であるなら滞り易いということはない fact3: そのアニメ作品は分岐しない fact4: もし仮にそのアニメ作品が北流するとすればそれは分岐しない fact5: 仮に「その凱旋門賞は胆嚢ポリープでなくておまけにそれは血迷わない」ということは成り立たないなら「その存在理由は開催国でない」ということは本当である fact6: もしなにがしかの物が無作為であるかまたはそれは鎮魂帰神法であるかあるいは両方であるならば「滞り易くない」ということは成り立つ fact7: 「三百ＳＬでない」物はある fact8: もし仮に「とあるものは無作為であるしそれに鎮魂帰神法だ」ということは成り立つということはないとすればそれは三百ＳＬでない fact9: もしその凱旋門賞が血迷うならその存在理由は開催国でない fact10: もし仮にその凱旋門賞が胆嚢ポリープでないけれど血迷うとしたらそのアニメ作品は無作為だ fact11: 仮にある物は鎮魂帰神法でないとしたら谷間でないしかつ保持出来ない fact12: その経済犯罪は北流する fact13: もし仮になにかは開催国でないとすると「スパイラルである」ということは成り立つ fact14: もし仮に「その凱旋門賞は無作為でそれに鎮魂帰神法だ」ということは成り立つということはないとすればその第十区は鎮魂帰神法でない fact15: もしもそのアニメ作品がスパイラルでないがしかしそれが滞り易いとしたらその凱旋門賞は滞り易くない fact16: そのアニメ作品は北流する fact17: その凱旋門賞は血迷わない fact18: もし仮にそのアニメ作品が北流すればそれは分岐しないけれど滞り易い fact19: もしもその凱旋門賞が胆嚢ポリープでなくてその上血迷わないとするとそのアニメ作品は無作為である fact20: 「その存在理由はスパイラルである」ということは成り立つ fact21: もし仮にその存在理由は開催国でないとしたら「スパイラルである」ということは本当である fact22: なんらかの物は開催国でないならそれは三百ＳＬであるし加えてスパイラルだ fact23: 鎮魂帰神法は滞り易くない
void -> assump1: 以下のように仮定する。その凱旋門賞は胆嚢ポリープでないし血迷わない; fact19 & assump1 -> int1: そのアニメ作品は無作為である; int1 -> int2: そのアニメ作品は無作為であるかまたは鎮魂帰神法だ; fact6 -> int3: もしもそのアニメ作品は無作為であるかもしくは鎮魂帰神法だとしたら「滞り易くない」ということは成り立つ; int2 & int3 -> int4: そのアニメ作品は滞り易くない; fact16 & fact18 -> int5: そのアニメ作品は分岐しないが滞り易い; int5 -> int6: そのアニメ作品は滞り易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その凱旋門賞は胆嚢ポリープでないしさらに血迷わない」ということは成り立たない; int8 & fact5 -> int9: 「その存在理由は開催国であるということはない」ということは真実である; fact22 -> int10: その存在理由が開催国でないならばそれは三百ＳＬであるしそれにスパイラルである; int9 & int10 -> int11: その存在理由は三百ＳＬだしスパイラルである; int11 -> hypothesis;
その第十区は谷間でないしそれは保持出来ない
fact25 -> int12: もしもその第十区が鎮魂帰神法であるということはないならば谷間でないしかつ保持出来ない;
$facts$ = fact1: 「その凱旋門賞は胆嚢ポリープでないけど血迷う」ということは成り立たない fact2: もしそのアニメ作品は鎮魂帰神法であるなら滞り易いということはない fact3: そのアニメ作品は分岐しない fact4: もし仮にそのアニメ作品が北流するとすればそれは分岐しない fact5: 仮に「その凱旋門賞は胆嚢ポリープでなくておまけにそれは血迷わない」ということは成り立たないなら「その存在理由は開催国でない」ということは本当である fact6: もしなにがしかの物が無作為であるかまたはそれは鎮魂帰神法であるかあるいは両方であるならば「滞り易くない」ということは成り立つ fact7: 「三百ＳＬでない」物はある fact8: もし仮に「とあるものは無作為であるしそれに鎮魂帰神法だ」ということは成り立つということはないとすればそれは三百ＳＬでない fact9: もしその凱旋門賞が血迷うならその存在理由は開催国でない fact10: もし仮にその凱旋門賞が胆嚢ポリープでないけれど血迷うとしたらそのアニメ作品は無作為だ fact11: 仮にある物は鎮魂帰神法でないとしたら谷間でないしかつ保持出来ない fact12: その経済犯罪は北流する fact13: もし仮になにかは開催国でないとすると「スパイラルである」ということは成り立つ fact14: もし仮に「その凱旋門賞は無作為でそれに鎮魂帰神法だ」ということは成り立つということはないとすればその第十区は鎮魂帰神法でない fact15: もしもそのアニメ作品がスパイラルでないがしかしそれが滞り易いとしたらその凱旋門賞は滞り易くない fact16: そのアニメ作品は北流する fact17: その凱旋門賞は血迷わない fact18: もし仮にそのアニメ作品が北流すればそれは分岐しないけれど滞り易い fact19: もしもその凱旋門賞が胆嚢ポリープでなくてその上血迷わないとするとそのアニメ作品は無作為である fact20: 「その存在理由はスパイラルである」ということは成り立つ fact21: もし仮にその存在理由は開催国でないとしたら「スパイラルである」ということは本当である fact22: なんらかの物は開催国でないならそれは三百ＳＬであるし加えてスパイラルだ fact23: 鎮魂帰神法は滞り易くない ; $hypothesis$ = その存在理由は三百ＳＬだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その凱旋門賞は胆嚢ポリープでないし血迷わない; fact19 & assump1 -> int1: そのアニメ作品は無作為である; int1 -> int2: そのアニメ作品は無作為であるかまたは鎮魂帰神法だ; fact6 -> int3: もしもそのアニメ作品は無作為であるかもしくは鎮魂帰神法だとしたら「滞り易くない」ということは成り立つ; int2 & int3 -> int4: そのアニメ作品は滞り易くない; fact16 & fact18 -> int5: そのアニメ作品は分岐しないが滞り易い; int5 -> int6: そのアニメ作品は滞り易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その凱旋門賞は胆嚢ポリープでないしさらに血迷わない」ということは成り立たない; int8 & fact5 -> int9: 「その存在理由は開催国であるということはない」ということは真実である; fact22 -> 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: 鎮魂帰神法は滞り易くない

仮説: その存在理由は三百ＳＬだ
1. 仮定1: 以下のように仮定する。その凱旋門賞は胆嚢ポリープでないし血迷わない
2. 事実19と仮定1から、推論1: "そのアニメ作品は無作為である"が導かれる
3. 推論1から、推論2: "そのアニメ作品は無作為であるかまたは鎮魂帰神法だ"が導かれる
4. 事実6から、推論3: "もしもそのアニメ作品は無作為であるかもしくは鎮魂帰神法だとしたら「滞り易くない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "そのアニメ作品は滞り易くない"が導かれる
6. 事実16と事実18から、推論5: "そのアニメ作品は分岐しないが滞り易い"が導かれる
7. 推論5から、推論6: "そのアニメ作品は滞り易い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その凱旋門賞は胆嚢ポリープでないしさらに血迷わない」ということは成り立たない"が導かれる
10. 推論8と事実5から、推論9: "「その存在理由は開催国であるということはない」ということは真実である"が導かれる
11. 事実22から、推論10: "その存在理由が開催国でないならばそれは三百ＳＬであるしそれにスパイラルである"が導かれる
12. 推論9と推論10から、推論11: "その存在理由は三百ＳＬだしスパイラルである"が導かれる
13. 推論11から、仮説が導かれる

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