そのホモは三波だ一方で広がり難くない
fact1: 「仮にその総財産が三波だということはないならばそのホモは三波だがしかし広がり難いということはない」ということは事実だ fact2: 「この風説書は広がり難くないがしかし鼓舞する」ということは成り立たない fact3: その岩礁域は凍死しない fact4: もし仮に「この風説書は教科書行政でないし加えて涙脆くない」ということは誤っているならそれは鼓舞する fact5: もし「「その総財産は変数Ｄアットでないしおまけに広がり難くない」ということは間違いだ」ということは確かだとすればそれは三波である fact6: この風説書は按ぜない fact7: そのホモは凍死する fact8: その総財産は三波であるなら「「そのホモは変数Ｄアットであるが広がり難いということはない」ということは成り立つ」ということは成り立たない fact9: もしもこの水平面が六十億人であるということはないとしたらその総財産は凍死するがしかし変数Ｄアットでない fact10: もしとあるものが六十億人でないか鼓舞しないかもしくは両方であるとするとこの水平面は三波でない fact11: この字幕は六十億人であるということはない fact12: この風説書は鼓舞しない fact13: そのＤＯＴＳは鼓舞しない fact14: もしもこの水平面は六十億人であるとすれば「この風説書は教科書行政でなくてまた涙脆くない」ということは真実でない fact15: この風説書は六十億人でない fact16: もし仮にこの水平面は三波だとすれば「その総財産は広がり難くないししかもそれは六十億人でない」ということは誤りだ fact17: もしもその総財産は凍死する一方で変数Ｄアットでないなら三波でない fact18: この水平面は鼓舞する fact19: 仮にこの風説書が変数Ｄアットだがしかし教科書行政でないならそれは六十億人でない
void -> assump1: 以下のように仮定する。この水平面は六十億人である; fact14 & assump1 -> int1: 「この風説書は教科書行政でないし更にそれは涙脆いということはない」ということは事実と異なる; int1 & fact4 -> int2: この風説書は鼓舞する; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この水平面は六十億人であるということはない; int4 & fact9 -> int5: その総財産は凍死するが変数Ｄアットでない; int5 & fact17 -> int6: その総財産は三波であるということはない; int6 & fact1 -> hypothesis;
「そのホモは三波だけれど広がり難いということはない」ということは確かでない
$facts$ = fact1: 「仮にその総財産が三波だということはないならばそのホモは三波だがしかし広がり難いということはない」ということは事実だ fact2: 「この風説書は広がり難くないがしかし鼓舞する」ということは成り立たない fact3: その岩礁域は凍死しない fact4: もし仮に「この風説書は教科書行政でないし加えて涙脆くない」ということは誤っているならそれは鼓舞する fact5: もし「「その総財産は変数Ｄアットでないしおまけに広がり難くない」ということは間違いだ」ということは確かだとすればそれは三波である fact6: この風説書は按ぜない fact7: そのホモは凍死する fact8: その総財産は三波であるなら「「そのホモは変数Ｄアットであるが広がり難いということはない」ということは成り立つ」ということは成り立たない fact9: もしもこの水平面が六十億人であるということはないとしたらその総財産は凍死するがしかし変数Ｄアットでない fact10: もしとあるものが六十億人でないか鼓舞しないかもしくは両方であるとするとこの水平面は三波でない fact11: この字幕は六十億人であるということはない fact12: この風説書は鼓舞しない fact13: そのＤＯＴＳは鼓舞しない fact14: もしもこの水平面は六十億人であるとすれば「この風説書は教科書行政でなくてまた涙脆くない」ということは真実でない fact15: この風説書は六十億人でない fact16: もし仮にこの水平面は三波だとすれば「その総財産は広がり難くないししかもそれは六十億人でない」ということは誤りだ fact17: もしもその総財産は凍死する一方で変数Ｄアットでないなら三波でない fact18: この水平面は鼓舞する fact19: 仮にこの風説書が変数Ｄアットだがしかし教科書行政でないならそれは六十億人でない ; $hypothesis$ = そのホモは三波だ一方で広がり難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この水平面は六十億人である; fact14 & assump1 -> int1: 「この風説書は教科書行政でないし更にそれは涙脆いということはない」ということは事実と異なる; int1 & fact4 -> int2: この風説書は鼓舞する; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この水平面は六十億人であるということはない; int4 & fact9 -> int5: その総財産は凍死するが変数Ｄアットでない; int5 & fact17 -> int6: その総財産は三波であるということはない; int6 & fact1 -> hypothesis; __PROVED__
事実1: 「仮にその総財産が三波だということはないならばそのホモは三波だがしかし広がり難いということはない」ということは事実だ
事実2: 「この風説書は広がり難くないがしかし鼓舞する」ということは成り立たない
事実3: その岩礁域は凍死しない
事実4: もし仮に「この風説書は教科書行政でないし加えて涙脆くない」ということは誤っているならそれは鼓舞する
事実5: もし「「その総財産は変数Ｄアットでないしおまけに広がり難くない」ということは間違いだ」ということは確かだとすればそれは三波である
事実6: この風説書は按ぜない
事実7: そのホモは凍死する
事実8: その総財産は三波であるなら「「そのホモは変数Ｄアットであるが広がり難いということはない」ということは成り立つ」ということは成り立たない
事実9: もしもこの水平面が六十億人であるということはないとしたらその総財産は凍死するがしかし変数Ｄアットでない
事実10: もしとあるものが六十億人でないか鼓舞しないかもしくは両方であるとするとこの水平面は三波でない
事実11: この字幕は六十億人であるということはない
事実12: この風説書は鼓舞しない
事実13: そのＤＯＴＳは鼓舞しない
事実14: もしもこの水平面は六十億人であるとすれば「この風説書は教科書行政でなくてまた涙脆くない」ということは真実でない
事実15: この風説書は六十億人でない
事実16: もし仮にこの水平面は三波だとすれば「その総財産は広がり難くないししかもそれは六十億人でない」ということは誤りだ
事実17: もしもその総財産は凍死する一方で変数Ｄアットでないなら三波でない
事実18: この水平面は鼓舞する
事実19: 仮にこの風説書が変数Ｄアットだがしかし教科書行政でないならそれは六十億人でない

仮説: そのホモは三波だ一方で広がり難くない
1. 仮定1: 以下のように仮定する。この水平面は六十億人である
2. 事実14と仮定1から、推論1: "「この風説書は教科書行政でないし更にそれは涙脆いということはない」ということは事実と異なる"が導かれる
3. 推論1と事実4から、推論2: "この風説書は鼓舞する"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この水平面は六十億人であるということはない"が導かれる
6. 推論4と事実9から、推論5: "その総財産は凍死するが変数Ｄアットでない"が導かれる
7. 推論5と事実17から、推論6: "その総財産は三波であるということはない"が導かれる
8. 推論6と事実1から、仮説が導かれる

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