その現行憲法は行進しない
fact1: その財政支出は不定期でない fact2: もし仮にその財政支出が返り為さらないとすればそのＤＦラインはやばくない fact3: もし仮にとある物は返り為さらないなら「それは行進する」ということは間違いでない fact4: そのＤＦラインはやばくない fact5: もしもその現行憲法は行進するとすると「そのＤＦラインはやばいしかつ不定期だ」ということは嘘だ fact6: その財政支出は行進する fact7: その現行憲法は大発展でない fact8: その財政支出は返り為さらない fact9: もしもその現行憲法が行進するということはなくて加えて肥やさくないとすればその財政支出は行進しない fact10: 仮になにがしかの物は行進しないとすると「それは栄養路でないし加えてそれは不定期だ」ということは偽である fact11: 「そのＤＦラインはやばいしそれは不定期だ」ということは間違いだ fact12: もしその現行憲法は行進するとすると「そのＤＦラインはやばくない一方で不定期だ」ということは間違いである fact13: この雌株は返り為さらない fact14: もしその財政支出が返り為さらないならそのＤＦラインはやばくないがしかし不定期だ
void -> assump1: 以下のように仮定する。その現行憲法は行進する; fact12 & assump1 -> int1: 「そのＤＦラインはやばくないけどそれは不定期である」ということは誤りである; fact14 & fact8 -> int2: そのＤＦラインはやばくないけどそれは不定期だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その現行憲法は行進する
fact15 -> int4: 仮にその現行憲法は返り為さらないならばそれは行進する;
$facts$ = fact1: その財政支出は不定期でない fact2: もし仮にその財政支出が返り為さらないとすればそのＤＦラインはやばくない fact3: もし仮にとある物は返り為さらないなら「それは行進する」ということは間違いでない fact4: そのＤＦラインはやばくない fact5: もしもその現行憲法は行進するとすると「そのＤＦラインはやばいしかつ不定期だ」ということは嘘だ fact6: その財政支出は行進する fact7: その現行憲法は大発展でない fact8: その財政支出は返り為さらない fact9: もしもその現行憲法が行進するということはなくて加えて肥やさくないとすればその財政支出は行進しない fact10: 仮になにがしかの物は行進しないとすると「それは栄養路でないし加えてそれは不定期だ」ということは偽である fact11: 「そのＤＦラインはやばいしそれは不定期だ」ということは間違いだ fact12: もしその現行憲法は行進するとすると「そのＤＦラインはやばくない一方で不定期だ」ということは間違いである fact13: この雌株は返り為さらない fact14: もしその財政支出が返り為さらないならそのＤＦラインはやばくないがしかし不定期だ ; $hypothesis$ = その現行憲法は行進しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その現行憲法は行進する; fact12 & assump1 -> int1: 「そのＤＦラインはやばくないけどそれは不定期である」ということは誤りである; fact14 & fact8 -> int2: そのＤＦラインはやばくないけどそれは不定期だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その財政支出は不定期でない
事実2: もし仮にその財政支出が返り為さらないとすればそのＤＦラインはやばくない
事実3: もし仮にとある物は返り為さらないなら「それは行進する」ということは間違いでない
事実4: そのＤＦラインはやばくない
事実5: もしもその現行憲法は行進するとすると「そのＤＦラインはやばいしかつ不定期だ」ということは嘘だ
事実6: その財政支出は行進する
事実7: その現行憲法は大発展でない
事実8: その財政支出は返り為さらない
事実9: もしもその現行憲法が行進するということはなくて加えて肥やさくないとすればその財政支出は行進しない
事実10: 仮になにがしかの物は行進しないとすると「それは栄養路でないし加えてそれは不定期だ」ということは偽である
事実11: 「そのＤＦラインはやばいしそれは不定期だ」ということは間違いだ
事実12: もしその現行憲法は行進するとすると「そのＤＦラインはやばくない一方で不定期だ」ということは間違いである
事実13: この雌株は返り為さらない
事実14: もしその財政支出が返り為さらないならそのＤＦラインはやばくないがしかし不定期だ

仮説: その現行憲法は行進しない
1. 仮定1: 以下のように仮定する。その現行憲法は行進する
2. 事実12と仮定1から、推論1: "「そのＤＦラインはやばくないけどそれは不定期である」ということは誤りである"が導かれる
3. 事実14と事実8から、推論2: "そのＤＦラインはやばくないけどそれは不定期だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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