その航行中は移転登記する
fact1: あの一年時は家政婦さんである fact2: その航行中は家政婦さんである fact3: 仮にその航行中は家政婦さんであるならそれは移転登記する fact4: もし何かは紛失するとすればそれは遮断する
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「「あの本旨は紛失しない」ということは誤りであるとしたらあの本旨は遮断する」ということは成り立つ
fact5 -> hypothesis;
$facts$ = fact1: あの一年時は家政婦さんである fact2: その航行中は家政婦さんである fact3: 仮にその航行中は家政婦さんであるならそれは移転登記する fact4: もし何かは紛失するとすればそれは遮断する ; $hypothesis$ = その航行中は移転登記する ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: あの一年時は家政婦さんである
事実2: その航行中は家政婦さんである
事実3: 仮にその航行中は家政婦さんであるならそれは移転登記する
事実4: もし何かは紛失するとすればそれは遮断する

仮説: その航行中は移転登記する
1. 事実3と事実2から、仮説が導かれる

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