あの最長道は算定し難くて社会学者達である
fact1: 「頭蝨である」ものはある fact2: 「社会学者達である」ものはある fact3: 「新台である」ものがあるとするとあの最長道は算定し難いし更にそれは社会学者達である fact4: 「「新台でない」ということは間違いである」物はある fact5: そのノーダンはエステティシャンだ fact6: 「算定し難い」物はあれば「あの最長道は社会学者達だ」ということは成り立つ
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: 「頭蝨である」ものはある fact2: 「社会学者達である」ものはある fact3: 「新台である」ものがあるとするとあの最長道は算定し難いし更にそれは社会学者達である fact4: 「「新台でない」ということは間違いである」物はある fact5: そのノーダンはエステティシャンだ fact6: 「算定し難い」物はあれば「あの最長道は社会学者達だ」ということは成り立つ ; $hypothesis$ = あの最長道は算定し難くて社会学者達である ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: 「頭蝨である」ものはある
事実2: 「社会学者達である」ものはある
事実3: 「新台である」ものがあるとするとあの最長道は算定し難いし更にそれは社会学者達である
事実4: 「「新台でない」ということは間違いである」物はある
事実5: そのノーダンはエステティシャンだ
事実6: 「算定し難い」物はあれば「あの最長道は社会学者達だ」ということは成り立つ

仮説: あの最長道は算定し難くて社会学者達である
1. 事実4と事実3から、仮説が導かれる

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