「「もしも「極言しない」ということは成り立つとすれば敷島関でないけど御掛かる」ものはある」ということは成り立たない
fact1: 「その適格者は極言しない」ということは正しいとすれば敷島関でない fact2: 「もし極言しないならば敷島関でない」物はある fact3: もし仮になにがしかの物が極言するとしたらそれは敷島関でないしそれに御掛かる fact4: その適格者が若輩でないとすると二Ｃでなくて更にそれは御掛かる fact5: 恐れ多いものはメモしないけど醸し出す fact6: もしもなにがしかの物が極言しないとすれば敷島関でなくて御掛かる fact7: もしもなにがしかの物が極言するということはないならそれは敷島関でない fact8: もし仮にとある物は仏語であるということはないとすると前後しないけど無寒暑だ fact9: 仮にその適格者が極言するとするとそれは敷島関でない一方で御掛かる
fact6 -> int1: もしその適格者が極言しないならそれは敷島関でない一方で御掛かる; int1 -> hypothesis;
$facts$ = fact1: 「その適格者は極言しない」ということは正しいとすれば敷島関でない fact2: 「もし極言しないならば敷島関でない」物はある fact3: もし仮になにがしかの物が極言するとしたらそれは敷島関でないしそれに御掛かる fact4: その適格者が若輩でないとすると二Ｃでなくて更にそれは御掛かる fact5: 恐れ多いものはメモしないけど醸し出す fact6: もしもなにがしかの物が極言しないとすれば敷島関でなくて御掛かる fact7: もしもなにがしかの物が極言するということはないならそれは敷島関でない fact8: もし仮にとある物は仏語であるということはないとすると前後しないけど無寒暑だ fact9: 仮にその適格者が極言するとするとそれは敷島関でない一方で御掛かる ; $hypothesis$ = 「「もしも「極言しない」ということは成り立つとすれば敷島関でないけど御掛かる」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしその適格者が極言しないならそれは敷島関でない一方で御掛かる; int1 -> hypothesis; __DISPROVED__
事実1: 「その適格者は極言しない」ということは正しいとすれば敷島関でない
事実2: 「もし極言しないならば敷島関でない」物はある
事実3: もし仮になにがしかの物が極言するとしたらそれは敷島関でないしそれに御掛かる
事実4: その適格者が若輩でないとすると二Ｃでなくて更にそれは御掛かる
事実5: 恐れ多いものはメモしないけど醸し出す
事実6: もしもなにがしかの物が極言しないとすれば敷島関でなくて御掛かる
事実7: もしもなにがしかの物が極言するということはないならそれは敷島関でない
事実8: もし仮にとある物は仏語であるということはないとすると前後しないけど無寒暑だ
事実9: 仮にその適格者が極言するとするとそれは敷島関でない一方で御掛かる

仮説: 「「もしも「極言しない」ということは成り立つとすれば敷島関でないけど御掛かる」ものはある」ということは成り立たない
1. 事実6から、推論1: "もしその適格者が極言しないならそれは敷島関でない一方で御掛かる"が導かれる
2. 推論1から、仮説が否定される

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