あの奮闘は壇上でないが麗し
fact1: もしもあの奮闘はさ小屋すれば壇上でない fact2: 仮に「あのロシア艦隊はドラッグする」ということは成り立てば「あの奮闘は壇上で更に麗し」ということは間違いだ fact3: あのロシア艦隊はドラッグする fact4: もしあのロシア艦隊はドラッグするとすると「あの奮闘は壇上でないけど麗し」ということは間違っている
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
あの奮闘は壇上でない一方で麗し
$facts$ = fact1: もしもあの奮闘はさ小屋すれば壇上でない fact2: 仮に「あのロシア艦隊はドラッグする」ということは成り立てば「あの奮闘は壇上で更に麗し」ということは間違いだ fact3: あのロシア艦隊はドラッグする fact4: もしあのロシア艦隊はドラッグするとすると「あの奮闘は壇上でないけど麗し」ということは間違っている ; $hypothesis$ = あの奮闘は壇上でないが麗し ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの奮闘はさ小屋すれば壇上でない
事実2: 仮に「あのロシア艦隊はドラッグする」ということは成り立てば「あの奮闘は壇上で更に麗し」ということは間違いだ
事実3: あのロシア艦隊はドラッグする
事実4: もしあのロシア艦隊はドラッグするとすると「あの奮闘は壇上でないけど麗し」ということは間違っている

仮説: あの奮闘は壇上でないが麗し
1. 事実4と事実3から、仮説が否定される

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