あの尽忠報国は仮定法だ
fact1: 久しない物は間違い無いしまたホモジニアスである fact2: もしもあの九門は情報家電であるとすればそれは間違い無い fact3: もしもあの尽忠報国は生々しいとしたら「それは平ったい」ということは本当である fact4: もしもあの尽忠報国が造設すれば持ち易い fact5: 「この算定基準は仮定法である」ということは嘘であるということはない fact6: あの尽忠報国は折檻する fact7: あの操作感は極まりなくてかつそれは疑える fact8: 「その魚釣り島は間違い無い」ということは事実だ fact9: 仮にその破門が起こし難いならばあのマージャンは感染し易い fact10: あの尽忠報国は間違い無いとしたら「それは仮定法だ」ということは成り立つ fact11: 「仮に何かは極まりないなら「それは来し易いしそれは起こし難くない」ということは成り立たない」ということは確かである fact12: 「感染し易いということはない」物はある fact13: このＲＵＮは仮定法である fact14: あの尽忠報国は間違い無い fact15: もしあの本領域が間違い無いならばあの尽忠報国は仮定法でない fact16: もし仮になにかは聞き漏らすとすると「それは間違い無い」ということは事実だ fact17: もし仮にあのマージャンが感染し易いならばあの本領域は久しない
fact10 & fact14 -> hypothesis;
fact10 & fact14 -> hypothesis;
あの尽忠報国は仮定法だということはない
fact23 -> int1: 仮にあの本領域が久しないならばそれは間違い無くてそれにホモジニアスだ; fact19 -> int2: 仮にあの操作感は極まりないとすると「来し易い一方で起こし難くない」ということは事実と異なる; fact21 -> int3: あの操作感は極まりない; int2 & int3 -> int4: 「あの操作感は来し易いけど起こし難くない」ということは誤っている; int4 -> int5: 「「来し易いけど起こし難いということはない」ということは成り立つということはない」物はある;
$facts$ = fact1: 久しない物は間違い無いしまたホモジニアスである fact2: もしもあの九門は情報家電であるとすればそれは間違い無い fact3: もしもあの尽忠報国は生々しいとしたら「それは平ったい」ということは本当である fact4: もしもあの尽忠報国が造設すれば持ち易い fact5: 「この算定基準は仮定法である」ということは嘘であるということはない fact6: あの尽忠報国は折檻する fact7: あの操作感は極まりなくてかつそれは疑える fact8: 「その魚釣り島は間違い無い」ということは事実だ fact9: 仮にその破門が起こし難いならばあのマージャンは感染し易い fact10: あの尽忠報国は間違い無いとしたら「それは仮定法だ」ということは成り立つ fact11: 「仮に何かは極まりないなら「それは来し易いしそれは起こし難くない」ということは成り立たない」ということは確かである fact12: 「感染し易いということはない」物はある fact13: このＲＵＮは仮定法である fact14: あの尽忠報国は間違い無い fact15: もしあの本領域が間違い無いならばあの尽忠報国は仮定法でない fact16: もし仮になにかは聞き漏らすとすると「それは間違い無い」ということは事実だ fact17: もし仮にあのマージャンが感染し易いならばあの本領域は久しない ; $hypothesis$ = あの尽忠報国は仮定法だ ; $proof$ = 
fact10 & fact14 -> hypothesis; __PROVED__
事実1: 久しない物は間違い無いしまたホモジニアスである
事実2: もしもあの九門は情報家電であるとすればそれは間違い無い
事実3: もしもあの尽忠報国は生々しいとしたら「それは平ったい」ということは本当である
事実4: もしもあの尽忠報国が造設すれば持ち易い
事実5: 「この算定基準は仮定法である」ということは嘘であるということはない
事実6: あの尽忠報国は折檻する
事実7: あの操作感は極まりなくてかつそれは疑える
事実8: 「その魚釣り島は間違い無い」ということは事実だ
事実9: 仮にその破門が起こし難いならばあのマージャンは感染し易い
事実10: あの尽忠報国は間違い無いとしたら「それは仮定法だ」ということは成り立つ
事実11: 「仮に何かは極まりないなら「それは来し易いしそれは起こし難くない」ということは成り立たない」ということは確かである
事実12: 「感染し易いということはない」物はある
事実13: このＲＵＮは仮定法である
事実14: あの尽忠報国は間違い無い
事実15: もしあの本領域が間違い無いならばあの尽忠報国は仮定法でない
事実16: もし仮になにかは聞き漏らすとすると「それは間違い無い」ということは事実だ
事実17: もし仮にあのマージャンが感染し易いならばあの本領域は久しない

仮説: あの尽忠報国は仮定法だ
1. 事実10と事実14から、仮説が導かれる

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