「あの考究は出資者でない」ということは成り立つ
fact1: 仮にその骨硬化像が出資者でないとすればあの考究は出資者だということはない fact2: もしもあの考究が程遠いならそれは出資者である fact3: あの考究は程遠い fact4: 仮にこの主催者が喚起しないとするとその骨硬化像は出資者でないけれど程遠い fact5: あの考究は比較し難い fact6: もしもあの法定責任説が出資者なら近付く
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あの考究は出資者でない
$facts$ = fact1: 仮にその骨硬化像が出資者でないとすればあの考究は出資者だということはない fact2: もしもあの考究が程遠いならそれは出資者である fact3: あの考究は程遠い fact4: 仮にこの主催者が喚起しないとするとその骨硬化像は出資者でないけれど程遠い fact5: あの考究は比較し難い fact6: もしもあの法定責任説が出資者なら近付く ; $hypothesis$ = 「あの考究は出資者でない」ということは成り立つ ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にその骨硬化像が出資者でないとすればあの考究は出資者だということはない
事実2: もしもあの考究が程遠いならそれは出資者である
事実3: あの考究は程遠い
事実4: 仮にこの主催者が喚起しないとするとその骨硬化像は出資者でないけれど程遠い
事実5: あの考究は比較し難い
事実6: もしもあの法定責任説が出資者なら近付く

仮説: 「あの考究は出資者でない」ということは成り立つ
1. 事実2と事実3から、仮説が否定される

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