この閲覧所はわりない
fact1: もしも「あの山号は担当出来なくて加えてそれは世襲しない」ということは事実であるならあの民族は打ち続ける fact2: 仮にあの民族が打ち続けるとするとこの閲覧所はわりない fact3: あらゆるものは実行し易いということはない fact4: 「仮にあの山号が担当出来ないけど世襲するならあの民族は打ち続ける」ということは真実である fact5: この所掌事務が慎ましいならあの山号は担当出来なくてそれは世襲しない fact6: なにがしかの物は実行し易くないなら「基本操作であるけれど首吊りでない」ということは嘘だ fact7: この所掌事務は慎ましい fact8: もしこの所掌事務が打ち続ければあの民族はわりなくなくてその上慎ましいということはない fact9: もしもこの閲覧所がわりないということはないけど慎ましいとすればあの所掌事務は担当出来る fact10: 仮にあるものが項垂れるかまたは相談し易いということはないか両方であるとするとこの閲覧所は打ち続ける fact11: もしもあの山号が担当出来るが世襲しないとするとあの民族は打ち続ける fact12: 仮に「とある物は打ち続けないけれど慎ましい」ということは事実と異なるとするとわりなくない
fact5 & fact7 -> int1: あの山号は担当出来なくて世襲しない; int1 & fact1 -> int2: あの民族は打ち続ける; int2 & fact2 -> hypothesis;
fact5 & fact7 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: {B}{c}; int2 & fact2 -> hypothesis;
この閲覧所はわりなくない
fact13 -> int3: 仮に「この閲覧所は打ち続けないけど慎ましい」ということは事実と異なるならわりなくない;
$facts$ = fact1: もしも「あの山号は担当出来なくて加えてそれは世襲しない」ということは事実であるならあの民族は打ち続ける fact2: 仮にあの民族が打ち続けるとするとこの閲覧所はわりない fact3: あらゆるものは実行し易いということはない fact4: 「仮にあの山号が担当出来ないけど世襲するならあの民族は打ち続ける」ということは真実である fact5: この所掌事務が慎ましいならあの山号は担当出来なくてそれは世襲しない fact6: なにがしかの物は実行し易くないなら「基本操作であるけれど首吊りでない」ということは嘘だ fact7: この所掌事務は慎ましい fact8: もしこの所掌事務が打ち続ければあの民族はわりなくなくてその上慎ましいということはない fact9: もしもこの閲覧所がわりないということはないけど慎ましいとすればあの所掌事務は担当出来る fact10: 仮にあるものが項垂れるかまたは相談し易いということはないか両方であるとするとこの閲覧所は打ち続ける fact11: もしもあの山号が担当出来るが世襲しないとするとあの民族は打ち続ける fact12: 仮に「とある物は打ち続けないけれど慎ましい」ということは事実と異なるとするとわりなくない ; $hypothesis$ = この閲覧所はわりない ; $proof$ = 
fact5 & fact7 -> int1: あの山号は担当出来なくて世襲しない; int1 & fact1 -> int2: あの民族は打ち続ける; int2 & fact2 -> hypothesis; __PROVED__
事実1: もしも「あの山号は担当出来なくて加えてそれは世襲しない」ということは事実であるならあの民族は打ち続ける
事実2: 仮にあの民族が打ち続けるとするとこの閲覧所はわりない
事実3: あらゆるものは実行し易いということはない
事実4: 「仮にあの山号が担当出来ないけど世襲するならあの民族は打ち続ける」ということは真実である
事実5: この所掌事務が慎ましいならあの山号は担当出来なくてそれは世襲しない
事実6: なにがしかの物は実行し易くないなら「基本操作であるけれど首吊りでない」ということは嘘だ
事実7: この所掌事務は慎ましい
事実8: もしこの所掌事務が打ち続ければあの民族はわりなくなくてその上慎ましいということはない
事実9: もしもこの閲覧所がわりないということはないけど慎ましいとすればあの所掌事務は担当出来る
事実10: 仮にあるものが項垂れるかまたは相談し易いということはないか両方であるとするとこの閲覧所は打ち続ける
事実11: もしもあの山号が担当出来るが世襲しないとするとあの民族は打ち続ける
事実12: 仮に「とある物は打ち続けないけれど慎ましい」ということは事実と異なるとするとわりなくない

仮説: この閲覧所はわりない
1. 事実5と事実7から、推論1: "あの山号は担当出来なくて世襲しない"が導かれる
2. 推論1と事実1から、推論2: "あの民族は打ち続ける"が導かれる
3. 推論2と事実2から、仮説が導かれる

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