その無犯罪証明書はざけるないかもしくは経済新聞であるかあるいは両方だ
fact1: その研究授業はこよない fact2: もしもその研究授業がこよないとするとその無犯罪証明書はざけるないかもしくは経済新聞であるか両方ともである fact3: その東国社会は方法上である fact4: こよないものはださくないか御見せに成るかまたはどちらもだ fact5: もしも何らかのものが打ち倒さないかまたはそれが方法上だとするとその大脳動脈は打ち倒さない fact6: 仮にあるものはこよなくないとすれば「ざけるないかまたはそれは経済新聞であるかまたはどちらもだ」ということは成り立つということはない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あの筆力はださくないかもしくは御見せに成る
fact7 -> int1: もし仮にあの筆力がこよないとすればそれはださくないかあるいは御見せに成るかもしくは両方である;
$facts$ = fact1: その研究授業はこよない fact2: もしもその研究授業がこよないとするとその無犯罪証明書はざけるないかもしくは経済新聞であるか両方ともである fact3: その東国社会は方法上である fact4: こよないものはださくないか御見せに成るかまたはどちらもだ fact5: もしも何らかのものが打ち倒さないかまたはそれが方法上だとするとその大脳動脈は打ち倒さない fact6: 仮にあるものはこよなくないとすれば「ざけるないかまたはそれは経済新聞であるかまたはどちらもだ」ということは成り立つということはない ; $hypothesis$ = その無犯罪証明書はざけるないかもしくは経済新聞であるかあるいは両方だ ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: その研究授業はこよない
事実2: もしもその研究授業がこよないとするとその無犯罪証明書はざけるないかもしくは経済新聞であるか両方ともである
事実3: その東国社会は方法上である
事実4: こよないものはださくないか御見せに成るかまたはどちらもだ
事実5: もしも何らかのものが打ち倒さないかまたはそれが方法上だとするとその大脳動脈は打ち倒さない
事実6: 仮にあるものはこよなくないとすれば「ざけるないかまたはそれは経済新聞であるかまたはどちらもだ」ということは成り立つということはない

仮説: その無犯罪証明書はざけるないかもしくは経済新聞であるかあるいは両方だ
1. 事実2と事実1から、仮説が導かれる

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