あの万県は忍び入る
fact1: 仮に「貯金通帳だということはない」物はあるなら「この一冊目は忍び入らない」ということは成り立つ fact2: 何らかの物は忍び入るということはない fact3: 「際どい」ものはある fact4: もし仮に「際どかない」物があるならあの万県は忍び入らない fact5: 「際どかない」物はある fact6: 仮に「際どいということはない」ものがあるとすればあの万県は煩わしくない
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
$facts$ = fact1: 仮に「貯金通帳だということはない」物はあるなら「この一冊目は忍び入らない」ということは成り立つ fact2: 何らかの物は忍び入るということはない fact3: 「際どい」ものはある fact4: もし仮に「際どかない」物があるならあの万県は忍び入らない fact5: 「際どかない」物はある fact6: 仮に「際どいということはない」ものがあるとすればあの万県は煩わしくない ; $hypothesis$ = あの万県は忍び入る ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に「貯金通帳だということはない」物はあるなら「この一冊目は忍び入らない」ということは成り立つ
事実2: 何らかの物は忍び入るということはない
事実3: 「際どい」ものはある
事実4: もし仮に「際どかない」物があるならあの万県は忍び入らない
事実5: 「際どかない」物はある
事実6: 仮に「際どいということはない」ものがあるとすればあの万県は煩わしくない

仮説: あの万県は忍び入る
1. 事実5と事実4から、仮説が否定される

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