あの上位等級は破顔しないが何気無い
fact1: もし何らかのものは行政単位なら「それは敵中深くなくてまた命じない」ということは誤りである fact2: もしもあの上位等級が命じないが何気無いとしたら「この和文体は何気無くない」ということは成り立つ fact3: あの担当は破顔するということはない fact4: この出家は何気無い fact5: 敵中深いものは破顔する fact6: あの上位等級は上がり難い fact7: あの上位等級は何気無い fact8: あの上位等級は破顔するということはない fact9: 仮にこの真砂は命じるとすれば「あの上位等級は破顔するということはないがしかし何気無い」ということは間違いだ
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
この和文体は何気無くない
fact11 -> int1: もし仮にこの真砂が敵中深いとしたらそれは破顔する;
$facts$ = fact1: もし何らかのものは行政単位なら「それは敵中深くなくてまた命じない」ということは誤りである fact2: もしもあの上位等級が命じないが何気無いとしたら「この和文体は何気無くない」ということは成り立つ fact3: あの担当は破顔するということはない fact4: この出家は何気無い fact5: 敵中深いものは破顔する fact6: あの上位等級は上がり難い fact7: あの上位等級は何気無い fact8: あの上位等級は破顔するということはない fact9: 仮にこの真砂は命じるとすれば「あの上位等級は破顔するということはないがしかし何気無い」ということは間違いだ ; $hypothesis$ = あの上位等級は破顔しないが何気無い ; $proof$ = 
fact8 & fact7 -> hypothesis; __PROVED__
事実1: もし何らかのものは行政単位なら「それは敵中深くなくてまた命じない」ということは誤りである
事実2: もしもあの上位等級が命じないが何気無いとしたら「この和文体は何気無くない」ということは成り立つ
事実3: あの担当は破顔するということはない
事実4: この出家は何気無い
事実5: 敵中深いものは破顔する
事実6: あの上位等級は上がり難い
事実7: あの上位等級は何気無い
事実8: あの上位等級は破顔するということはない
事実9: 仮にこの真砂は命じるとすれば「あの上位等級は破顔するということはないがしかし何気無い」ということは間違いだ

仮説: あの上位等級は破顔しないが何気無い
1. 事実8と事実7から、仮説が導かれる

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