「「もしも「最多でないか漏れ易い」ということは成り立たないなら引っ括めない」ものはある」ということは成り立たない
fact1: 「最多でないかもしくは漏れ易いかまたはどちらもであるなら「引っ括めるということはない」ということは成り立つ」ものはある fact2: 仮に「そのＯＲデルは最多でないかまたはそれは漏れ易いかあるいは両方ともだ」ということは間違いだとすれば引っ括めない fact3: もしも「そのＯＲデルは最多であるということはないかまたは漏れ易いかあるいは両方ともだ」ということは成り立たないならば引っ括める fact4: もし仮にそのＯＲデルが最多でないかもしくはそれは漏れ易いか両方であるとしたらそれは引っ括めるということはない fact5: 「もし仮に「最多でないか漏れ易いかもしくは両方だ」ということは偽であるなら引っ括める」ものはある fact6: もしも「そのＯＲデルは最多であるかそれは漏れ易いかもしくは両方である」ということは事実と異なるとすれば引っ括めない fact7: 「もしも「最多であるかあるいは漏れ易い」ということは本当でないならば引っ括めない」物はある
fact2 -> hypothesis;
$facts$ = fact1: 「最多でないかもしくは漏れ易いかまたはどちらもであるなら「引っ括めるということはない」ということは成り立つ」ものはある fact2: 仮に「そのＯＲデルは最多でないかまたはそれは漏れ易いかあるいは両方ともだ」ということは間違いだとすれば引っ括めない fact3: もしも「そのＯＲデルは最多であるということはないかまたは漏れ易いかあるいは両方ともだ」ということは成り立たないならば引っ括める fact4: もし仮にそのＯＲデルが最多でないかもしくはそれは漏れ易いか両方であるとしたらそれは引っ括めるということはない fact5: 「もし仮に「最多でないか漏れ易いかもしくは両方だ」ということは偽であるなら引っ括める」ものはある fact6: もしも「そのＯＲデルは最多であるかそれは漏れ易いかもしくは両方である」ということは事実と異なるとすれば引っ括めない fact7: 「もしも「最多であるかあるいは漏れ易い」ということは本当でないならば引っ括めない」物はある ; $hypothesis$ = 「「もしも「最多でないか漏れ易い」ということは成り立たないなら引っ括めない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「最多でないかもしくは漏れ易いかまたはどちらもであるなら「引っ括めるということはない」ということは成り立つ」ものはある
事実2: 仮に「そのＯＲデルは最多でないかまたはそれは漏れ易いかあるいは両方ともだ」ということは間違いだとすれば引っ括めない
事実3: もしも「そのＯＲデルは最多であるということはないかまたは漏れ易いかあるいは両方ともだ」ということは成り立たないならば引っ括める
事実4: もし仮にそのＯＲデルが最多でないかもしくはそれは漏れ易いか両方であるとしたらそれは引っ括めるということはない
事実5: 「もし仮に「最多でないか漏れ易いかもしくは両方だ」ということは偽であるなら引っ括める」ものはある
事実6: もしも「そのＯＲデルは最多であるかそれは漏れ易いかもしくは両方である」ということは事実と異なるとすれば引っ括めない
事実7: 「もしも「最多であるかあるいは漏れ易い」ということは本当でないならば引っ括めない」物はある

仮説: 「「もしも「最多でないか漏れ易い」ということは成り立たないなら引っ括めない」ものはある」ということは成り立たない
1. 事実2から、仮説が否定される

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