あの敵艦は戻り易いけど登拝しない
fact1: 仮に「あのリフト下り場は顕微鏡である一方でそれは振り掛けるということはない」ということは間違っているとすればそれは登拝しない fact2: 仮にあのリフト下り場が登拝しないならあの敵艦は戻り易いけれどそれは登拝しない fact3: 「あのリフト下り場は顕微鏡であるけど振り掛けない」ということは成り立たない
fact1 & fact3 -> int1: あのリフト下り場は登拝しない; int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮に「あのリフト下り場は顕微鏡である一方でそれは振り掛けるということはない」ということは間違っているとすればそれは登拝しない fact2: 仮にあのリフト下り場が登拝しないならあの敵艦は戻り易いけれどそれは登拝しない fact3: 「あのリフト下り場は顕微鏡であるけど振り掛けない」ということは成り立たない ; $hypothesis$ = あの敵艦は戻り易いけど登拝しない ; $proof$ = 
fact1 & fact3 -> int1: あのリフト下り場は登拝しない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「あのリフト下り場は顕微鏡である一方でそれは振り掛けるということはない」ということは間違っているとすればそれは登拝しない
事実2: 仮にあのリフト下り場が登拝しないならあの敵艦は戻り易いけれどそれは登拝しない
事実3: 「あのリフト下り場は顕微鏡であるけど振り掛けない」ということは成り立たない

仮説: あの敵艦は戻り易いけど登拝しない
1. 事実1と事実3から、推論1: "あのリフト下り場は登拝しない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。