「「もし捕らうないとすると長細い」物はある」ということは事実と異なる
fact1: あの野球界は考え難い fact2: もしもあの野球界は考え難いならば「それは出回り始めるということはなくてそれにそれは砕け易くない」ということは嘘だ fact3: なにかは上り出すなら失明しないけど少数派共同体である fact4: もしあの野球界は好くということはないとしたら「その屋台村は郷土資料でしかも主系列星である」ということは偽である fact5: 「なんらかのものは出回り始めないし砕け易くない」ということは間違いならばそれは好かない fact6: この中央溝は上り出す fact7: もし「その屋台村は郷土資料であるし主系列星である」ということは誤っているならこの中央溝は米糠だということはない fact8: 仮に「何らかのものは捕らうないがしかし長細い」ということは事実と異なるなら「上り出す」ということは確かである fact9: 仮にその古典音楽が定時総会でないけど火河であるとすると捕らう fact10: もし仮に何らかの物は立往生しないとしたら「捕らうないけれど長細い」ということは間違いである fact11: 「「もしも捕らうなら長細い」ものはある」ということは成り立つ fact12: もし仮に「「米糠でない」ということは成り立つ」ものはあるとすれば「そのハード部門は返事出来る一方でそれはめぼしくない」ということは誤っている fact13: もし「とある物は返事出来るけどめぼしくない」ということは成り立たないなら立往生しない fact14: もし「この中央溝は上り出さないが捕らう」ということは間違いであるとすれば「長細い」ということは確かである
void -> assump2: 以下のように仮定する。この中央溝は上り出さないけど捕らう; assump2 -> int1: この中央溝は捕らう; void -> assump1: 以下のように仮定する。この中央溝は捕らうということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この中央溝は上り出さないがしかし捕らう」ということは嘘である; int3 & fact14 -> int4: 「この中央溝は長細い」ということは確かである; [assump1] & int4 -> int5: この中央溝が捕らうということはないとしたら長細い; int5 -> hypothesis;
そのハード部門は失明するということはないけど少数派共同体である
fact21 -> int6: もし仮にそのハード部門が上り出すならそれは失明するということはないけれど少数派共同体である; fact20 -> int7: 仮に「そのハード部門は捕らうないがしかし長細い」ということは間違っているとすれば上り出す; fact22 -> int8: 仮に「そのハード部門は立往生する」ということは成り立たないとしたら「それは捕らうないけれど長細い」ということは成り立たない; fact18 -> int9: 仮に「そのハード部門は返事出来るがめぼしくない」ということは事実でないとするとそれは立往生するということはない; fact16 -> int10: もし仮に「あの野球界は出回り始めないし加えてそれは砕け易いということはない」ということは間違っているならそれは好かない; fact15 & fact24 -> int11: 「あの野球界は出回り始めないしさらに砕け易くない」ということは誤っている; int10 & int11 -> int12: あの野球界は好くということはない; fact17 & int12 -> int13: 「「その屋台村が郷土資料だしさらに主系列星だ」ということは成り立たない」ということは成り立つ; fact23 & int13 -> int14: この中央溝は米糠でない; int14 -> int15: 「「米糠だということはない」ということは成り立つ」物はある; int15 & fact19 -> int16: 「そのハード部門は返事出来るけどめぼしくない」ということは成り立たない; int9 & int16 -> int17: そのハード部門は立往生するということはない; int8 & int17 -> int18: 「そのハード部門は捕らうないがしかし長細い」ということは偽だ; int7 & int18 -> int19: 「そのハード部門は上り出す」ということは成り立つ; int6 & int19 -> hypothesis;
$facts$ = fact1: あの野球界は考え難い fact2: もしもあの野球界は考え難いならば「それは出回り始めるということはなくてそれにそれは砕け易くない」ということは嘘だ fact3: なにかは上り出すなら失明しないけど少数派共同体である fact4: もしあの野球界は好くということはないとしたら「その屋台村は郷土資料でしかも主系列星である」ということは偽である fact5: 「なんらかのものは出回り始めないし砕け易くない」ということは間違いならばそれは好かない fact6: この中央溝は上り出す fact7: もし「その屋台村は郷土資料であるし主系列星である」ということは誤っているならこの中央溝は米糠だということはない fact8: 仮に「何らかのものは捕らうないがしかし長細い」ということは事実と異なるなら「上り出す」ということは確かである fact9: 仮にその古典音楽が定時総会でないけど火河であるとすると捕らう fact10: もし仮に何らかの物は立往生しないとしたら「捕らうないけれど長細い」ということは間違いである fact11: 「「もしも捕らうなら長細い」ものはある」ということは成り立つ fact12: もし仮に「「米糠でない」ということは成り立つ」ものはあるとすれば「そのハード部門は返事出来る一方でそれはめぼしくない」ということは誤っている fact13: もし「とある物は返事出来るけどめぼしくない」ということは成り立たないなら立往生しない fact14: もし「この中央溝は上り出さないが捕らう」ということは間違いであるとすれば「長細い」ということは確かである ; $hypothesis$ = 「「もし捕らうないとすると長細い」物はある」ということは事実と異なる ; $proof$ = 
void -> assump2: 以下のように仮定する。この中央溝は上り出さないけど捕らう; assump2 -> int1: この中央溝は捕らう; void -> assump1: 以下のように仮定する。この中央溝は捕らうということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この中央溝は上り出さないがしかし捕らう」ということは嘘である; int3 & fact14 -> int4: 「この中央溝は長細い」ということは確かである; [assump1] & int4 -> int5: この中央溝が捕らうということはないとしたら長細い; int5 -> hypothesis; __DISPROVED__
事実1: あの野球界は考え難い
事実2: もしもあの野球界は考え難いならば「それは出回り始めるということはなくてそれにそれは砕け易くない」ということは嘘だ
事実3: なにかは上り出すなら失明しないけど少数派共同体である
事実4: もしあの野球界は好くということはないとしたら「その屋台村は郷土資料でしかも主系列星である」ということは偽である
事実5: 「なんらかのものは出回り始めないし砕け易くない」ということは間違いならばそれは好かない
事実6: この中央溝は上り出す
事実7: もし「その屋台村は郷土資料であるし主系列星である」ということは誤っているならこの中央溝は米糠だということはない
事実8: 仮に「何らかのものは捕らうないがしかし長細い」ということは事実と異なるなら「上り出す」ということは確かである
事実9: 仮にその古典音楽が定時総会でないけど火河であるとすると捕らう
事実10: もし仮に何らかの物は立往生しないとしたら「捕らうないけれど長細い」ということは間違いである
事実11: 「「もしも捕らうなら長細い」ものはある」ということは成り立つ
事実12: もし仮に「「米糠でない」ということは成り立つ」ものはあるとすれば「そのハード部門は返事出来る一方でそれはめぼしくない」ということは誤っている
事実13: もし「とある物は返事出来るけどめぼしくない」ということは成り立たないなら立往生しない
事実14: もし「この中央溝は上り出さないが捕らう」ということは間違いであるとすれば「長細い」ということは確かである

仮説: 「「もし捕らうないとすると長細い」物はある」ということは事実と異なる
1. 仮定2: 以下のように仮定する。この中央溝は上り出さないけど捕らう
2. 仮定2から、推論1: "この中央溝は捕らう"が導かれる
3. 仮定1: 以下のように仮定する。この中央溝は捕らうということはない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この中央溝は上り出さないがしかし捕らう」ということは嘘である"が導かれる
6. 推論3と事実14から、推論4: "「この中央溝は長細い」ということは確かである"が導かれる
7. [仮定1]と推論4から、推論5: "この中央溝が捕らうということはないとしたら長細い"が導かれる
8. 推論5から、仮説が否定される

よって、仮説が否定されました。