あの発案は繰り返し遣らないけれどコンピュータ・プログラムである
fact1: あの発案は居食いでない fact2: あの発案は経営品質向上プログラムでない一方で断り難い fact3: もし仮にあの発案が繰り返し遣らないなら疎ましくらないけど東流する fact4: 仮にあの発案がはしたないということはないとすればそれは繰り返し遣るということはないけどコンピュータ・プログラムだ fact5: あの発案は繰り返し遣るということはないけれど打倒す fact6: もし仮に「あの発案ははしたなくない」ということは事実だとすると繰り返し遣らない fact7: あの発案はさり気無いということはない fact8: あの左室ははしたなくないが踏み止まれる fact9: 仮にあの発案は底深くないとすればそれはつべたくないがしかし繰り返し遣る fact10: もし仮にあの発案が糾わないならばそれは口惜しいということはない fact11: この非論理は繰り返し遣らない fact12: 仮に「そのエントランスは中和行為でない」ということは成り立つとしたらコンピュータ・プログラムだということはない fact13: あの藩政改革はコンピュータ・プログラムでない fact14: 「はしたない物は繰り返し遣るということはないけど知行する」ということは嘘でない fact15: もし仮にあの発案が中国化しないならコンピュータ・プログラムでない fact16: あの発案ははしたなくない fact17: あの発案は繰り返し遣らない fact18: あの発案は苦々しかないなら「それは受任しない」ということは間違っていない fact19: この教育令は取り締まり役・使用人でないが心憎い fact20: もしもあの発案が冷め易くないとするとはしたないということはないしインＣＨだ fact21: もしもあの控訴裁判所が出難くないとすればコンピュータ・プログラムでない
fact4 & fact16 -> hypothesis;
fact4 & fact16 -> hypothesis;
この補助金散布は繰り返し遣らないが知行する
fact22 -> int1: この補助金散布ははしたないとしたら「それは繰り返し遣らないししかもそれは知行する」ということは成り立つ;
$facts$ = fact1: あの発案は居食いでない fact2: あの発案は経営品質向上プログラムでない一方で断り難い fact3: もし仮にあの発案が繰り返し遣らないなら疎ましくらないけど東流する fact4: 仮にあの発案がはしたないということはないとすればそれは繰り返し遣るということはないけどコンピュータ・プログラムだ fact5: あの発案は繰り返し遣るということはないけれど打倒す fact6: もし仮に「あの発案ははしたなくない」ということは事実だとすると繰り返し遣らない fact7: あの発案はさり気無いということはない fact8: あの左室ははしたなくないが踏み止まれる fact9: 仮にあの発案は底深くないとすればそれはつべたくないがしかし繰り返し遣る fact10: もし仮にあの発案が糾わないならばそれは口惜しいということはない fact11: この非論理は繰り返し遣らない fact12: 仮に「そのエントランスは中和行為でない」ということは成り立つとしたらコンピュータ・プログラムだということはない fact13: あの藩政改革はコンピュータ・プログラムでない fact14: 「はしたない物は繰り返し遣るということはないけど知行する」ということは嘘でない fact15: もし仮にあの発案が中国化しないならコンピュータ・プログラムでない fact16: あの発案ははしたなくない fact17: あの発案は繰り返し遣らない fact18: あの発案は苦々しかないなら「それは受任しない」ということは間違っていない fact19: この教育令は取り締まり役・使用人でないが心憎い fact20: もしもあの発案が冷め易くないとするとはしたないということはないしインＣＨだ fact21: もしもあの控訴裁判所が出難くないとすればコンピュータ・プログラムでない ; $hypothesis$ = あの発案は繰り返し遣らないけれどコンピュータ・プログラムである ; $proof$ = 
fact4 & fact16 -> hypothesis; __PROVED__
事実1: あの発案は居食いでない
事実2: あの発案は経営品質向上プログラムでない一方で断り難い
事実3: もし仮にあの発案が繰り返し遣らないなら疎ましくらないけど東流する
事実4: 仮にあの発案がはしたないということはないとすればそれは繰り返し遣るということはないけどコンピュータ・プログラムだ
事実5: あの発案は繰り返し遣るということはないけれど打倒す
事実6: もし仮に「あの発案ははしたなくない」ということは事実だとすると繰り返し遣らない
事実7: あの発案はさり気無いということはない
事実8: あの左室ははしたなくないが踏み止まれる
事実9: 仮にあの発案は底深くないとすればそれはつべたくないがしかし繰り返し遣る
事実10: もし仮にあの発案が糾わないならばそれは口惜しいということはない
事実11: この非論理は繰り返し遣らない
事実12: 仮に「そのエントランスは中和行為でない」ということは成り立つとしたらコンピュータ・プログラムだということはない
事実13: あの藩政改革はコンピュータ・プログラムでない
事実14: 「はしたない物は繰り返し遣るということはないけど知行する」ということは嘘でない
事実15: もし仮にあの発案が中国化しないならコンピュータ・プログラムでない
事実16: あの発案ははしたなくない
事実17: あの発案は繰り返し遣らない
事実18: あの発案は苦々しかないなら「それは受任しない」ということは間違っていない
事実19: この教育令は取り締まり役・使用人でないが心憎い
事実20: もしもあの発案が冷め易くないとするとはしたないということはないしインＣＨだ
事実21: もしもあの控訴裁判所が出難くないとすればコンピュータ・プログラムでない

仮説: あの発案は繰り返し遣らないけれどコンピュータ・プログラムである
1. 事実4と事実16から、仮説が導かれる

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