この主計将校団は木こりだ
fact1: この大数は等しし木こりである fact2: もしこの主計将校団が活躍出来るならそれは編曲しないかもしくはそれは相違成る fact3: もし仮にこの主計将校団が入営しないとすれば御本心であるしそれは活躍出来る fact4: この主計将校団はくすむ fact5: もしもとある物は編曲しないかまたは相違成るかもしくは両方ともであるならそれは編曲しない fact6: この主計将校団はくすむし木こりである fact7: 仮になにかはくすむということはないとしたらそれは編曲しないかそれは木こりでない fact8: 「批判し続けない一方で東南な」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
その岡田前掲注は木こりだ
fact10 -> int1: この主計将校団が編曲するということはないかあるいはそれは相違成るかどちらもであるならそれは編曲しない;
$facts$ = fact1: この大数は等しし木こりである fact2: もしこの主計将校団が活躍出来るならそれは編曲しないかもしくはそれは相違成る fact3: もし仮にこの主計将校団が入営しないとすれば御本心であるしそれは活躍出来る fact4: この主計将校団はくすむ fact5: もしもとある物は編曲しないかまたは相違成るかもしくは両方ともであるならそれは編曲しない fact6: この主計将校団はくすむし木こりである fact7: 仮になにかはくすむということはないとしたらそれは編曲しないかそれは木こりでない fact8: 「批判し続けない一方で東南な」物はある ; $hypothesis$ = この主計将校団は木こりだ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: この大数は等しし木こりである
事実2: もしこの主計将校団が活躍出来るならそれは編曲しないかもしくはそれは相違成る
事実3: もし仮にこの主計将校団が入営しないとすれば御本心であるしそれは活躍出来る
事実4: この主計将校団はくすむ
事実5: もしもとある物は編曲しないかまたは相違成るかもしくは両方ともであるならそれは編曲しない
事実6: この主計将校団はくすむし木こりである
事実7: 仮になにかはくすむということはないとしたらそれは編曲しないかそれは木こりでない
事実8: 「批判し続けない一方で東南な」物はある

仮説: この主計将校団は木こりだ
1. 事実6から、仮説が導かれる

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