「「もしも予測出来ないとすると広ーいし加えて真っ暗い」ものはある」ということは間違っている
fact1: 仮にその変数ＴＵＫＩが広ーいとしたらそれは生じ難い fact2: もし仮に「そのデータ群は程良いということはないしか細くない」ということは成り立たないなら百万語である fact3: そのアザチオプリンが夕御飯であるが売り上げ代金でないとすればあの変数ＴＵＫＩは広ーい fact4: もし「なんらかの物は売り上げ代金だ」ということは成り立つなら広ーい fact5: もしもこの小中学校は予測出来ないとすれば「罷り間違わなくておまけにそれは二値でない」ということは成り立たない fact6: この小中学校は売り上げ代金である fact7: もし仮にその吉がうんざりするならばあのアザチオプリンは夕御飯であるけれど売り上げ代金でない fact8: 生じ難い物は真っ暗い fact9: もし仮に「この小中学校は罷り間違わなくてしかも二値だということはない」ということは間違いならそれは生じ難い
void -> assump1: 以下のように仮定する。この小中学校は予測出来ない; fact5 & assump1 -> int1: 「この小中学校は罷り間違わないしおまけに二値でない」ということは間違っている; int1 & fact9 -> int2: この小中学校は生じ難い; fact8 -> int3: もし仮に「この小中学校は生じ難い」ということは成り立つとすればそれは真っ暗い; int2 & int3 -> int4: この小中学校は真っ暗い; fact4 -> int5: 仮にこの小中学校は売り上げ代金であるとすれば広ーい; fact6 & int5 -> int6: この小中学校は広ーい; int4 & int6 -> int7: この小中学校は広ーいしそれは真っ暗い; [assump1] & int7 -> int8: もしこの小中学校が予測出来ないならばそれは広ーいし真っ暗い; int8 -> hypothesis;
その遺産分割手続きは罷り間違うし咀嚼だ
$facts$ = fact1: 仮にその変数ＴＵＫＩが広ーいとしたらそれは生じ難い fact2: もし仮に「そのデータ群は程良いということはないしか細くない」ということは成り立たないなら百万語である fact3: そのアザチオプリンが夕御飯であるが売り上げ代金でないとすればあの変数ＴＵＫＩは広ーい fact4: もし「なんらかの物は売り上げ代金だ」ということは成り立つなら広ーい fact5: もしもこの小中学校は予測出来ないとすれば「罷り間違わなくておまけにそれは二値でない」ということは成り立たない fact6: この小中学校は売り上げ代金である fact7: もし仮にその吉がうんざりするならばあのアザチオプリンは夕御飯であるけれど売り上げ代金でない fact8: 生じ難い物は真っ暗い fact9: もし仮に「この小中学校は罷り間違わなくてしかも二値だということはない」ということは間違いならそれは生じ難い ; $hypothesis$ = 「「もしも予測出来ないとすると広ーいし加えて真っ暗い」ものはある」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この小中学校は予測出来ない; fact5 & assump1 -> int1: 「この小中学校は罷り間違わないしおまけに二値でない」ということは間違っている; int1 & fact9 -> int2: この小中学校は生じ難い; fact8 -> int3: もし仮に「この小中学校は生じ難い」ということは成り立つとすればそれは真っ暗い; int2 & int3 -> int4: この小中学校は真っ暗い; fact4 -> int5: 仮にこの小中学校は売り上げ代金であるとすれば広ーい; fact6 & int5 -> int6: この小中学校は広ーい; int4 & int6 -> int7: この小中学校は広ーいしそれは真っ暗い; [assump1] & int7 -> int8: もしこの小中学校が予測出来ないならばそれは広ーいし真っ暗い; int8 -> hypothesis; __DISPROVED__
事実1: 仮にその変数ＴＵＫＩが広ーいとしたらそれは生じ難い
事実2: もし仮に「そのデータ群は程良いということはないしか細くない」ということは成り立たないなら百万語である
事実3: そのアザチオプリンが夕御飯であるが売り上げ代金でないとすればあの変数ＴＵＫＩは広ーい
事実4: もし「なんらかの物は売り上げ代金だ」ということは成り立つなら広ーい
事実5: もしもこの小中学校は予測出来ないとすれば「罷り間違わなくておまけにそれは二値でない」ということは成り立たない
事実6: この小中学校は売り上げ代金である
事実7: もし仮にその吉がうんざりするならばあのアザチオプリンは夕御飯であるけれど売り上げ代金でない
事実8: 生じ難い物は真っ暗い
事実9: もし仮に「この小中学校は罷り間違わなくてしかも二値だということはない」ということは間違いならそれは生じ難い

仮説: 「「もしも予測出来ないとすると広ーいし加えて真っ暗い」ものはある」ということは間違っている
1. 仮定1: 以下のように仮定する。この小中学校は予測出来ない
2. 事実5と仮定1から、推論1: "「この小中学校は罷り間違わないしおまけに二値でない」ということは間違っている"が導かれる
3. 推論1と事実9から、推論2: "この小中学校は生じ難い"が導かれる
4. 事実8から、推論3: "もし仮に「この小中学校は生じ難い」ということは成り立つとすればそれは真っ暗い"が導かれる
5. 推論2と推論3から、推論4: "この小中学校は真っ暗い"が導かれる
6. 事実4から、推論5: "仮にこの小中学校は売り上げ代金であるとすれば広ーい"が導かれる
7. 事実6と推論5から、推論6: "この小中学校は広ーい"が導かれる
8. 推論4と推論6から、推論7: "この小中学校は広ーいしそれは真っ暗い"が導かれる
9. [仮定1]と推論7から、推論8: "もしこの小中学校が予測出来ないならばそれは広ーいし真っ暗い"が導かれる
10. 推論8から、仮説が否定される

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