「このＯＲデルは大名領国でないかもしくは張り合わないかあるいはどちらもである」ということは成り立たない
fact1: 仮に大名領国は不足し易くないとしたらそれは張り合わない fact2: もし「不足し易くない」物があるとしたらこのＯＲデルは大名領国でないか張り合わないかあるいは両方ともである fact3: なんらかのものは不足し易くない fact4: もしも不足し易くない物があるならこのＯＲデルは大名領国だということはないかあるいは張り合う fact5: このＯＲデルは煮詰めないかもしくはそれは適わないかまたは両方である
fact3 & fact2 -> hypothesis;
あの留学は張り合うということはないか煮詰めないかまたは両方である
fact6 -> int1: もしもあの留学が大名領国であるけどそれは不足し易くないとしたらそれは張り合わない;
$facts$ = fact1: 仮に大名領国は不足し易くないとしたらそれは張り合わない fact2: もし「不足し易くない」物があるとしたらこのＯＲデルは大名領国でないか張り合わないかあるいは両方ともである fact3: なんらかのものは不足し易くない fact4: もしも不足し易くない物があるならこのＯＲデルは大名領国だということはないかあるいは張り合う fact5: このＯＲデルは煮詰めないかもしくはそれは適わないかまたは両方である ; $hypothesis$ = 「このＯＲデルは大名領国でないかもしくは張り合わないかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に大名領国は不足し易くないとしたらそれは張り合わない
事実2: もし「不足し易くない」物があるとしたらこのＯＲデルは大名領国でないか張り合わないかあるいは両方ともである
事実3: なんらかのものは不足し易くない
事実4: もしも不足し易くない物があるならこのＯＲデルは大名領国だということはないかあるいは張り合う
事実5: このＯＲデルは煮詰めないかもしくはそれは適わないかまたは両方である

仮説: 「このＯＲデルは大名領国でないかもしくは張り合わないかあるいはどちらもである」ということは成り立たない
1. 事実3と事実2から、仮説が否定される

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