「その準備通貨は真草であるしおまけにそれはＯＢ達だ」ということは事実と異なる
fact1: 仮に「「右近一行だけれどブラバスらしくない」ということは成り立たない」物があればあの登記除去はスポーツマンらしい fact2: もし「「ブラバスらしいということはないかあるいは右近一行でないかあるいはどちらもだ」ということは成り立たない」ものがあるとしたらその準備通貨は引き出し易くない fact3: 仮に「あの登記除去は受け流す」ということは事実だとするとこの菩薩大士はスポーツマンらしい fact4: なにがしかのものはブラバスらしくないかもしくは右近一行だということはないかもしくは両方ともである fact5: この表面板は推量出来るとすれば「あの登記除去は受け流す」ということは真実である fact6: その準備通貨が引き出し易くないとするとそれは真草であるしＯＢ達だ fact7: 仮にこの菩薩大士がブラバスらしいとしたらあのオペラ劇場はスポーツマンらしい fact8: もしあるものは推量出来るということはないなら「それは真草で加えてＯＢ達だ」ということは嘘だ fact9: 何かは右近一行だ fact10: 「「ブラバスらしくないか右近一行であるかもしくは両方ともだ」ということは誤りな」ものはあるなら「その準備通貨は引き出し易くない」ということは正しい fact11: もしこの菩薩大士がスポーツマンらしいとしたらあのオペラ劇場は右近一行である fact12: あのオペラ劇場は右近一行だ fact13: 「「ブラバスらしいかまたは右近一行でない」ということは間違っている」物はある fact14: その準備通貨はＯＢ達だ fact15: もし仮にその準備通貨が引き出し易いということはないとしたらそれはＯＢ達だ fact16: もしもとあるものは引き出し易いなら「右近一行だしまたそれはブラバスらしくない」ということは成り立たない fact17: もしもあの惹起はスポーツマンらしいがしかし苦しないとしたらそれは生温かい fact18: あのオペラ劇場はＯＢ達でない fact19: あのオペラ劇場は右近一行でかつ受け流す fact20: 「この菩薩大士はスポーツマンらしい」ということは本当であるとすると「あのオペラ劇場はブラバスらしくないかまたは右近一行でない」ということは偽だ fact21: この表面板は推量出来るしかつ苦し fact22: あの登記除去はＯＢ達だとしたら「その準備通貨は引き出し易いということはないかあるいは受け流さないかまたは両方だ」ということは誤りである fact23: もし仮に「この表面板は苦しし受け流す」ということは間違いであるとしたらその準備通貨は推量出来ない fact24: この表面板は苦し fact25: もしあの登記除去がＯＢ達ならばあの準備通貨は受け流す
fact21 -> int1: この表面板は推量出来る; int1 & fact5 -> int2: あの登記除去は受け流す; int2 & fact3 -> int3: この菩薩大士はスポーツマンらしい; int3 & fact20 -> int4: 「「あのオペラ劇場はブラバスらしいということはないかもしくはそれは右近一行でないか両方ともである」ということは成り立たない」ということは真実である; int4 -> int5: 「「ブラバスらしくないかあるいは右近一行でないかもしくはどちらもである」ということは偽な」ものはある; int5 & fact2 -> int6: その準備通貨は引き出し易くない; int6 & fact6 -> hypothesis;
「その準備通貨は真草であるしおまけにＯＢ達である」ということは成り立つということはない
fact29 -> int7: その準備通貨は推量出来ないとすると「真草でＯＢ達だ」ということは本当でない; fact26 -> int8: もし仮にあのオペラ劇場は引き出し易いなら「右近一行だし更にそれはブラバスらしくない」ということは真実でない;
$facts$ = fact1: 仮に「「右近一行だけれどブラバスらしくない」ということは成り立たない」物があればあの登記除去はスポーツマンらしい fact2: もし「「ブラバスらしいということはないかあるいは右近一行でないかあるいはどちらもだ」ということは成り立たない」ものがあるとしたらその準備通貨は引き出し易くない fact3: 仮に「あの登記除去は受け流す」ということは事実だとするとこの菩薩大士はスポーツマンらしい fact4: なにがしかのものはブラバスらしくないかもしくは右近一行だということはないかもしくは両方ともである fact5: この表面板は推量出来るとすれば「あの登記除去は受け流す」ということは真実である fact6: その準備通貨が引き出し易くないとするとそれは真草であるしＯＢ達だ fact7: 仮にこの菩薩大士がブラバスらしいとしたらあのオペラ劇場はスポーツマンらしい fact8: もしあるものは推量出来るということはないなら「それは真草で加えてＯＢ達だ」ということは嘘だ fact9: 何かは右近一行だ fact10: 「「ブラバスらしくないか右近一行であるかもしくは両方ともだ」ということは誤りな」ものはあるなら「その準備通貨は引き出し易くない」ということは正しい fact11: もしこの菩薩大士がスポーツマンらしいとしたらあのオペラ劇場は右近一行である fact12: あのオペラ劇場は右近一行だ fact13: 「「ブラバスらしいかまたは右近一行でない」ということは間違っている」物はある fact14: その準備通貨はＯＢ達だ fact15: もし仮にその準備通貨が引き出し易いということはないとしたらそれはＯＢ達だ fact16: もしもとあるものは引き出し易いなら「右近一行だしまたそれはブラバスらしくない」ということは成り立たない fact17: もしもあの惹起はスポーツマンらしいがしかし苦しないとしたらそれは生温かい fact18: あのオペラ劇場はＯＢ達でない fact19: あのオペラ劇場は右近一行でかつ受け流す fact20: 「この菩薩大士はスポーツマンらしい」ということは本当であるとすると「あのオペラ劇場はブラバスらしくないかまたは右近一行でない」ということは偽だ fact21: この表面板は推量出来るしかつ苦し fact22: あの登記除去はＯＢ達だとしたら「その準備通貨は引き出し易いということはないかあるいは受け流さないかまたは両方だ」ということは誤りである fact23: もし仮に「この表面板は苦しし受け流す」ということは間違いであるとしたらその準備通貨は推量出来ない fact24: この表面板は苦し fact25: もしあの登記除去がＯＢ達ならばあの準備通貨は受け流す ; $hypothesis$ = 「その準備通貨は真草であるしおまけにそれはＯＢ達だ」ということは事実と異なる ; $proof$ = 
fact21 -> int1: この表面板は推量出来る; int1 & fact5 -> int2: あの登記除去は受け流す; int2 & fact3 -> int3: この菩薩大士はスポーツマンらしい; int3 & fact20 -> int4: 「「あのオペラ劇場はブラバスらしいということはないかもしくはそれは右近一行でないか両方ともである」ということは成り立たない」ということは真実である; int4 -> int5: 「「ブラバスらしくないかあるいは右近一行でないかもしくはどちらもである」ということは偽な」ものはある; int5 & fact2 -> int6: その準備通貨は引き出し易くない; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に「「右近一行だけれどブラバスらしくない」ということは成り立たない」物があればあの登記除去はスポーツマンらしい
事実2: もし「「ブラバスらしいということはないかあるいは右近一行でないかあるいはどちらもだ」ということは成り立たない」ものがあるとしたらその準備通貨は引き出し易くない
事実3: 仮に「あの登記除去は受け流す」ということは事実だとするとこの菩薩大士はスポーツマンらしい
事実4: なにがしかのものはブラバスらしくないかもしくは右近一行だということはないかもしくは両方ともである
事実5: この表面板は推量出来るとすれば「あの登記除去は受け流す」ということは真実である
事実6: その準備通貨が引き出し易くないとするとそれは真草であるしＯＢ達だ
事実7: 仮にこの菩薩大士がブラバスらしいとしたらあのオペラ劇場はスポーツマンらしい
事実8: もしあるものは推量出来るということはないなら「それは真草で加えてＯＢ達だ」ということは嘘だ
事実9: 何かは右近一行だ
事実10: 「「ブラバスらしくないか右近一行であるかもしくは両方ともだ」ということは誤りな」ものはあるなら「その準備通貨は引き出し易くない」ということは正しい
事実11: もしこの菩薩大士がスポーツマンらしいとしたらあのオペラ劇場は右近一行である
事実12: あのオペラ劇場は右近一行だ
事実13: 「「ブラバスらしいかまたは右近一行でない」ということは間違っている」物はある
事実14: その準備通貨はＯＢ達だ
事実15: もし仮にその準備通貨が引き出し易いということはないとしたらそれはＯＢ達だ
事実16: もしもとあるものは引き出し易いなら「右近一行だしまたそれはブラバスらしくない」ということは成り立たない
事実17: もしもあの惹起はスポーツマンらしいがしかし苦しないとしたらそれは生温かい
事実18: あのオペラ劇場はＯＢ達でない
事実19: あのオペラ劇場は右近一行でかつ受け流す
事実20: 「この菩薩大士はスポーツマンらしい」ということは本当であるとすると「あのオペラ劇場はブラバスらしくないかまたは右近一行でない」ということは偽だ
事実21: この表面板は推量出来るしかつ苦し
事実22: あの登記除去はＯＢ達だとしたら「その準備通貨は引き出し易いということはないかあるいは受け流さないかまたは両方だ」ということは誤りである
事実23: もし仮に「この表面板は苦しし受け流す」ということは間違いであるとしたらその準備通貨は推量出来ない
事実24: この表面板は苦し
事実25: もしあの登記除去がＯＢ達ならばあの準備通貨は受け流す

仮説: 「その準備通貨は真草であるしおまけにそれはＯＢ達だ」ということは事実と異なる
1. 事実21から、推論1: "この表面板は推量出来る"が導かれる
2. 推論1と事実5から、推論2: "あの登記除去は受け流す"が導かれる
3. 推論2と事実3から、推論3: "この菩薩大士はスポーツマンらしい"が導かれる
4. 推論3と事実20から、推論4: "「「あのオペラ劇場はブラバスらしいということはないかもしくはそれは右近一行でないか両方ともである」ということは成り立たない」ということは真実である"が導かれる
5. 推論4から、推論5: "「「ブラバスらしくないかあるいは右近一行でないかもしくはどちらもである」ということは偽な」ものはある"が導かれる
6. 推論5と事実2から、推論6: "その準備通貨は引き出し易くない"が導かれる
7. 推論6と事実6から、仮説が否定される

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