「もし仮に野守であるなら「マニュアル・ページでないしそれに書類等でない」ということは成り立たない」ものはある
fact1: 「仮に野守であるとすれば「マニュアル・ページでないし書類等である」ということは成り立たない」物はある fact2: もしこの学校当局は野守であるとするとそれはマニュアル・ページであるということはなくて書類等でない fact3: もし仮になにかは野守だとしたら「それはマニュアル・ページであるし書類等でない」ということは成り立たない fact4: もしこの学校当局は野守だとしたら「「それがマニュアル・ページだしそれに書類等でない」ということは正しい」ということは間違っている fact5: 「もし仮に野守なら「マニュアル・ページでなくてしかも書類等でない」ということは本当な」ものはある fact6: なにかは野守だとすれば「マニュアル・ページでなくておまけに書類等である」ということは偽である fact7: もし仮にその排出量は値踏みするとしたら「それは下ろすし書類等でない」ということは確かでない fact8: もしも何かは野守であるとしたら「それはマニュアル・ページでなくてしかも書類等でない」ということは事実と異なる
fact8 -> int1: もしこの学校当局は野守だとしたら「それはマニュアル・ページでなくておまけに書類等だということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「仮に野守であるとすれば「マニュアル・ページでないし書類等である」ということは成り立たない」物はある fact2: もしこの学校当局は野守であるとするとそれはマニュアル・ページであるということはなくて書類等でない fact3: もし仮になにかは野守だとしたら「それはマニュアル・ページであるし書類等でない」ということは成り立たない fact4: もしこの学校当局は野守だとしたら「「それがマニュアル・ページだしそれに書類等でない」ということは正しい」ということは間違っている fact5: 「もし仮に野守なら「マニュアル・ページでなくてしかも書類等でない」ということは本当な」ものはある fact6: なにかは野守だとすれば「マニュアル・ページでなくておまけに書類等である」ということは偽である fact7: もし仮にその排出量は値踏みするとしたら「それは下ろすし書類等でない」ということは確かでない fact8: もしも何かは野守であるとしたら「それはマニュアル・ページでなくてしかも書類等でない」ということは事実と異なる ; $hypothesis$ = 「もし仮に野守であるなら「マニュアル・ページでないしそれに書類等でない」ということは成り立たない」ものはある ; $proof$ = 
fact8 -> int1: もしこの学校当局は野守だとしたら「それはマニュアル・ページでなくておまけに書類等だということはない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 「仮に野守であるとすれば「マニュアル・ページでないし書類等である」ということは成り立たない」物はある
事実2: もしこの学校当局は野守であるとするとそれはマニュアル・ページであるということはなくて書類等でない
事実3: もし仮になにかは野守だとしたら「それはマニュアル・ページであるし書類等でない」ということは成り立たない
事実4: もしこの学校当局は野守だとしたら「「それがマニュアル・ページだしそれに書類等でない」ということは正しい」ということは間違っている
事実5: 「もし仮に野守なら「マニュアル・ページでなくてしかも書類等でない」ということは本当な」ものはある
事実6: なにかは野守だとすれば「マニュアル・ページでなくておまけに書類等である」ということは偽である
事実7: もし仮にその排出量は値踏みするとしたら「それは下ろすし書類等でない」ということは確かでない
事実8: もしも何かは野守であるとしたら「それはマニュアル・ページでなくてしかも書類等でない」ということは事実と異なる

仮説: 「もし仮に野守であるなら「マニュアル・ページでないしそれに書類等でない」ということは成り立たない」ものはある
1. 事実8から、推論1: "もしこの学校当局は野守だとしたら「それはマニュアル・ページでなくておまけに書類等だということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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