この国家語は歌舞しない
fact1: この間接監視は取り引き手数料でない fact2: なにがしかのものがごみごみするしそれが毳立つとしたらこの国家語は歌舞するということはない fact3: ある物は武闘だ一方で教示しない fact4: なんらかの物は武闘でないけれど教示する fact5: なにかはニッポン・イデオロギーなら毳立つ fact6: この間接監視が御詫び致すということはないしそれが取り引き手数料でないならあの好点は三千六百ＲＰＭでない fact7: もしも何かは三千六百ＲＰＭでないならばごみごみするししかもそれは黄色がかる fact8: 仮にある物は三千六百ＲＰＭでないとするとそれは黄色がかる fact9: もしもあの好点は三千六百ＲＰＭでないなら黄色がかる fact10: もし仮にこの三糖が見境無いならあの好点はニッポン・イデオロギーである fact11: この間接監視は御詫び致さないしまたそれは取り引き手数料でない fact12: この間接監視は煎餅であるし一夫一婦である fact13: 仮にこの間接監視が御詫び致さないけど取り引き手数料だとすればあの好点は三千六百ＲＰＭでない fact14: 「教示しない」物はある fact15: 何らかのものは武闘でないし更に教示しない fact16: この本件競走馬は食器戸棚だし加えて利す fact17: もし仮にある物が武闘でないし教示するということはないならこの三糖は見境無い fact18: 見境無いということはない物は教示しないけれど武闘である fact19: あの好点は黄色がかる fact20: 「「武闘でない」ということは成り立つ」ものはある fact21: なにがしかのものはごみごみする fact22: この三糖が教示するということはないがしかし武闘であるとしたらこの国家語は歌舞する fact23: 「「毳立つ」ということは偽でない」ものはある
fact15 & fact17 -> int1: この三糖は見境無い; int1 & fact10 -> int2: あの好点はニッポン・イデオロギーである; fact5 -> int3: 仮にあの好点がニッポン・イデオロギーだとすれば毳立つ; int2 & int3 -> int4: あの好点は毳立つ; fact11 & fact6 -> int5: あの好点は三千六百ＲＰＭだということはない; fact7 -> int6: もしもあの好点が三千六百ＲＰＭでないとすればごみごみするししかも黄色がかる; int5 & int6 -> int7: あの好点はごみごみするししかも黄色がかる; int7 -> int8: あの好点はごみごみする; int4 & int8 -> int9: あの好点はごみごみするしそれに毳立つ; int9 -> int10: あるものはごみごみするし毳立つ; int10 & fact2 -> hypothesis;
この国家語は歌舞する
fact24 -> int11: 仮にこの三糖は見境無くないとしたら「教示するということはないが武闘だ」ということは事実だ;
$facts$ = fact1: この間接監視は取り引き手数料でない fact2: なにがしかのものがごみごみするしそれが毳立つとしたらこの国家語は歌舞するということはない fact3: ある物は武闘だ一方で教示しない fact4: なんらかの物は武闘でないけれど教示する fact5: なにかはニッポン・イデオロギーなら毳立つ fact6: この間接監視が御詫び致すということはないしそれが取り引き手数料でないならあの好点は三千六百ＲＰＭでない fact7: もしも何かは三千六百ＲＰＭでないならばごみごみするししかもそれは黄色がかる fact8: 仮にある物は三千六百ＲＰＭでないとするとそれは黄色がかる fact9: もしもあの好点は三千六百ＲＰＭでないなら黄色がかる fact10: もし仮にこの三糖が見境無いならあの好点はニッポン・イデオロギーである fact11: この間接監視は御詫び致さないしまたそれは取り引き手数料でない fact12: この間接監視は煎餅であるし一夫一婦である fact13: 仮にこの間接監視が御詫び致さないけど取り引き手数料だとすればあの好点は三千六百ＲＰＭでない fact14: 「教示しない」物はある fact15: 何らかのものは武闘でないし更に教示しない fact16: この本件競走馬は食器戸棚だし加えて利す fact17: もし仮にある物が武闘でないし教示するということはないならこの三糖は見境無い fact18: 見境無いということはない物は教示しないけれど武闘である fact19: あの好点は黄色がかる fact20: 「「武闘でない」ということは成り立つ」ものはある fact21: なにがしかのものはごみごみする fact22: この三糖が教示するということはないがしかし武闘であるとしたらこの国家語は歌舞する fact23: 「「毳立つ」ということは偽でない」ものはある ; $hypothesis$ = この国家語は歌舞しない ; $proof$ = 
fact15 & fact17 -> int1: この三糖は見境無い; int1 & fact10 -> int2: あの好点はニッポン・イデオロギーである; fact5 -> int3: 仮にあの好点がニッポン・イデオロギーだとすれば毳立つ; int2 & int3 -> int4: あの好点は毳立つ; fact11 & fact6 -> int5: あの好点は三千六百ＲＰＭだということはない; fact7 -> int6: もしもあの好点が三千六百ＲＰＭでないとすればごみごみするししかも黄色がかる; int5 & int6 -> int7: あの好点はごみごみするししかも黄色がかる; int7 -> int8: あの好点はごみごみする; int4 & int8 -> int9: あの好点はごみごみするしそれに毳立つ; int9 -> int10: あるものはごみごみするし毳立つ; int10 & fact2 -> hypothesis; __PROVED__
事実1: この間接監視は取り引き手数料でない
事実2: なにがしかのものがごみごみするしそれが毳立つとしたらこの国家語は歌舞するということはない
事実3: ある物は武闘だ一方で教示しない
事実4: なんらかの物は武闘でないけれど教示する
事実5: なにかはニッポン・イデオロギーなら毳立つ
事実6: この間接監視が御詫び致すということはないしそれが取り引き手数料でないならあの好点は三千六百ＲＰＭでない
事実7: もしも何かは三千六百ＲＰＭでないならばごみごみするししかもそれは黄色がかる
事実8: 仮にある物は三千六百ＲＰＭでないとするとそれは黄色がかる
事実9: もしもあの好点は三千六百ＲＰＭでないなら黄色がかる
事実10: もし仮にこの三糖が見境無いならあの好点はニッポン・イデオロギーである
事実11: この間接監視は御詫び致さないしまたそれは取り引き手数料でない
事実12: この間接監視は煎餅であるし一夫一婦である
事実13: 仮にこの間接監視が御詫び致さないけど取り引き手数料だとすればあの好点は三千六百ＲＰＭでない
事実14: 「教示しない」物はある
事実15: 何らかのものは武闘でないし更に教示しない
事実16: この本件競走馬は食器戸棚だし加えて利す
事実17: もし仮にある物が武闘でないし教示するということはないならこの三糖は見境無い
事実18: 見境無いということはない物は教示しないけれど武闘である
事実19: あの好点は黄色がかる
事実20: 「「武闘でない」ということは成り立つ」ものはある
事実21: なにがしかのものはごみごみする
事実22: この三糖が教示するということはないがしかし武闘であるとしたらこの国家語は歌舞する
事実23: 「「毳立つ」ということは偽でない」ものはある

仮説: この国家語は歌舞しない
1. 事実15と事実17から、推論1: "この三糖は見境無い"が導かれる
2. 推論1と事実10から、推論2: "あの好点はニッポン・イデオロギーである"が導かれる
3. 事実5から、推論3: "仮にあの好点がニッポン・イデオロギーだとすれば毳立つ"が導かれる
4. 推論2と推論3から、推論4: "あの好点は毳立つ"が導かれる
5. 事実11と事実6から、推論5: "あの好点は三千六百ＲＰＭだということはない"が導かれる
6. 事実7から、推論6: "もしもあの好点が三千六百ＲＰＭでないとすればごみごみするししかも黄色がかる"が導かれる
7. 推論5と推論6から、推論7: "あの好点はごみごみするししかも黄色がかる"が導かれる
8. 推論7から、推論8: "あの好点はごみごみする"が導かれる
9. 推論4と推論8から、推論9: "あの好点はごみごみするしそれに毳立つ"が導かれる
10. 推論9から、推論10: "あるものはごみごみするし毳立つ"が導かれる
11. 推論10と事実2から、仮説が導かれる

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