この多少は寄せ合う
fact1: あの先達は諮詢する fact2: 「あの先達は成り難くないけどやんごとない」ということは間違いであるとしたらこの多少はやんごとなくない fact3: あの先達がやんごとないとするとあの有意水準は諮詢する fact4: この多少は諮詢する fact5: その正体不明は諮詢する fact6: もし仮にあの先達が諮詢するとすればあの有意水準は成り難い fact7: もしあの先達が成り難いとしたらあの有意水準は諮詢する fact8: もしもとある物がやんごとなくないとしたらそれは寄せ合わない fact9: あの有意水準はやんごとない fact10: もしもあの有意水準が諮詢するならばあの多少は寄せ合う fact11: もしもこの多少がやんごとないとするとあの先達は寄せ合う fact12: あの有意水準は諮詢するかまたは寄せ合うかどちらもである fact13: もしもあの点Ｘが保てないならばあの有意水準は諮詢しないがしかし成り難い fact14: もしもあの有意水準がやんごとないならあの先達は諮詢する fact15: 仮にあの有意水準が成り難いならばあの先達は諮詢する fact16: あの先達はやんごとないかまたは成り難い
fact16 & fact3 & fact7 -> int1: あの有意水準は諮詢する; int1 & fact10 -> hypothesis;
この多少は寄せ合うということはない
fact17 -> int2: この多少がやんごとなくないとすると寄せ合わない;
$facts$ = fact1: あの先達は諮詢する fact2: 「あの先達は成り難くないけどやんごとない」ということは間違いであるとしたらこの多少はやんごとなくない fact3: あの先達がやんごとないとするとあの有意水準は諮詢する fact4: この多少は諮詢する fact5: その正体不明は諮詢する fact6: もし仮にあの先達が諮詢するとすればあの有意水準は成り難い fact7: もしあの先達が成り難いとしたらあの有意水準は諮詢する fact8: もしもとある物がやんごとなくないとしたらそれは寄せ合わない fact9: あの有意水準はやんごとない fact10: もしもあの有意水準が諮詢するならばあの多少は寄せ合う fact11: もしもこの多少がやんごとないとするとあの先達は寄せ合う fact12: あの有意水準は諮詢するかまたは寄せ合うかどちらもである fact13: もしもあの点Ｘが保てないならばあの有意水準は諮詢しないがしかし成り難い fact14: もしもあの有意水準がやんごとないならあの先達は諮詢する fact15: 仮にあの有意水準が成り難いならばあの先達は諮詢する fact16: あの先達はやんごとないかまたは成り難い ; $hypothesis$ = この多少は寄せ合う ; $proof$ = 
fact16 & fact3 & fact7 -> int1: あの有意水準は諮詢する; int1 & fact10 -> hypothesis; __PROVED__
事実1: あの先達は諮詢する
事実2: 「あの先達は成り難くないけどやんごとない」ということは間違いであるとしたらこの多少はやんごとなくない
事実3: あの先達がやんごとないとするとあの有意水準は諮詢する
事実4: この多少は諮詢する
事実5: その正体不明は諮詢する
事実6: もし仮にあの先達が諮詢するとすればあの有意水準は成り難い
事実7: もしあの先達が成り難いとしたらあの有意水準は諮詢する
事実8: もしもとある物がやんごとなくないとしたらそれは寄せ合わない
事実9: あの有意水準はやんごとない
事実10: もしもあの有意水準が諮詢するならばあの多少は寄せ合う
事実11: もしもこの多少がやんごとないとするとあの先達は寄せ合う
事実12: あの有意水準は諮詢するかまたは寄せ合うかどちらもである
事実13: もしもあの点Ｘが保てないならばあの有意水準は諮詢しないがしかし成り難い
事実14: もしもあの有意水準がやんごとないならあの先達は諮詢する
事実15: 仮にあの有意水準が成り難いならばあの先達は諮詢する
事実16: あの先達はやんごとないかまたは成り難い

仮説: この多少は寄せ合う
1. 事実16と事実3と事実7から、推論1: "あの有意水準は諮詢する"が導かれる
2. 推論1と事実10から、仮説が導かれる

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