「「もしも調査環境だとすれば「比丘である一方で乗っからない」ということは嘘である」ものはある」ということは成り立たない
fact1: 「もし仮に調査環境だとすると比丘であるしまた乗っからない」物はある fact2: 「仮にブラバスらしいとすれば「等分するし痩せ難い」ということは誤っている」物はある fact3: 仮にとある物は打ち出すとすれば「それは乗っかるし更に喜ばしかない」ということは誤っている fact4: もしもその島津家は乗っかれば「それは抗し難くてさらにそれは恨めしい」ということは成り立たない fact5: 仮にその島津家は調査環境であるとすると「それは比丘だが乗っからない」ということは事実と異なる
fact5 -> hypothesis;
もしその仲裁判断は打ち出すなら「「乗っかるしそれは喜ばしかない」ということは真実である」ということは成り立つということはない
fact6 -> hypothesis;
$facts$ = fact1: 「もし仮に調査環境だとすると比丘であるしまた乗っからない」物はある fact2: 「仮にブラバスらしいとすれば「等分するし痩せ難い」ということは誤っている」物はある fact3: 仮にとある物は打ち出すとすれば「それは乗っかるし更に喜ばしかない」ということは誤っている fact4: もしもその島津家は乗っかれば「それは抗し難くてさらにそれは恨めしい」ということは成り立たない fact5: 仮にその島津家は調査環境であるとすると「それは比丘だが乗っからない」ということは事実と異なる ; $hypothesis$ = 「「もしも調査環境だとすれば「比丘である一方で乗っからない」ということは嘘である」ものはある」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「もし仮に調査環境だとすると比丘であるしまた乗っからない」物はある
事実2: 「仮にブラバスらしいとすれば「等分するし痩せ難い」ということは誤っている」物はある
事実3: 仮にとある物は打ち出すとすれば「それは乗っかるし更に喜ばしかない」ということは誤っている
事実4: もしもその島津家は乗っかれば「それは抗し難くてさらにそれは恨めしい」ということは成り立たない
事実5: 仮にその島津家は調査環境であるとすると「それは比丘だが乗っからない」ということは事実と異なる

仮説: 「「もしも調査環境だとすれば「比丘である一方で乗っからない」ということは嘘である」ものはある」ということは成り立たない
1. 事実5から、仮説が否定される

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