あの新教育運動は悪くない
fact1: あの藩公は列挙出来るか彼我流用であるかどちらもである fact2: あの新教育運動は列挙出来ない fact3: あの藩公が列挙出来るということはないとしたらあの新教育運動は悪いということはない fact4: あの藩公が列挙出来るということはないかそれが彼我流用だとしたらあの新教育運動は悪くない fact5: 仮にあの藩公が売り付けないとしたらあの新教育運動は悪いししかも履ける fact6: あの藩公は彼我流用でないかもしくは悪いかまたは両方ともだ fact7: あの藩公は列挙出来ないかもしくは彼我流用であるかもしくは両方である
fact4 & fact7 -> hypothesis;
あの新教育運動は悪い
$facts$ = fact1: あの藩公は列挙出来るか彼我流用であるかどちらもである fact2: あの新教育運動は列挙出来ない fact3: あの藩公が列挙出来るということはないとしたらあの新教育運動は悪いということはない fact4: あの藩公が列挙出来るということはないかそれが彼我流用だとしたらあの新教育運動は悪くない fact5: 仮にあの藩公が売り付けないとしたらあの新教育運動は悪いししかも履ける fact6: あの藩公は彼我流用でないかもしくは悪いかまたは両方ともだ fact7: あの藩公は列挙出来ないかもしくは彼我流用であるかもしくは両方である ; $hypothesis$ = あの新教育運動は悪くない ; $proof$ = 
fact4 & fact7 -> hypothesis; __PROVED__
事実1: あの藩公は列挙出来るか彼我流用であるかどちらもである
事実2: あの新教育運動は列挙出来ない
事実3: あの藩公が列挙出来るということはないとしたらあの新教育運動は悪いということはない
事実4: あの藩公が列挙出来るということはないかそれが彼我流用だとしたらあの新教育運動は悪くない
事実5: 仮にあの藩公が売り付けないとしたらあの新教育運動は悪いししかも履ける
事実6: あの藩公は彼我流用でないかもしくは悪いかまたは両方ともだ
事実7: あの藩公は列挙出来ないかもしくは彼我流用であるかもしくは両方である

仮説: あの新教育運動は悪くない
1. 事実4と事実7から、仮説が導かれる

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