あのカラードプラ法は蹴上げる
fact1: もしその課税対象は参拝するということはないとすれば「奥床しいかもしくは恐ろしくない」ということは間違いである fact2: あの漢詩はＥＲＴＡであるが聞きするということはない fact3: その課税対象が長しならその農道は長し fact4: もし仮にある物は口大でないならばそれは掲揚しないしさらに逃げ切らない fact5: あのカラードプラ法は蹴上げる fact6: もしもあの漢詩がＥＲＴＡである一方で聞きしないなら「その不効率は口大でない」ということは本当である fact7: 冷え易いものは蹴上げない fact8: この企業名は参拝する fact9: もし「長しし更に本報告書である」ものはあるとすれば「その不効率は低額でない」ということは事実である fact10: もし仮にあのカラードプラ法が低額でないならばあの特は冷え易くないしさらに取得し易いということはない fact11: 仮にとある物は掲揚しないしまた逃げ切らないとしたらそれは喋らない fact12: あのワープテキストは蹴上げる fact13: 仮にとあるものは冷え易くないならば「取得し易くないし加えて蹴上げるということはない」ということは嘘である fact14: その農道は本報告書だ fact15: 「冷え易いということはなくて加えて取得し易くないものは蹴上げない」ということは嘘でない fact16: 仮に「とある物は低額でかつ打ち鳴らす」ということは真実でないとすると低額でない fact17: もしも「その課税対象は奥床しいかあるいは恐ろしくない」ということは成り立たないとすればそれは長し fact18: あのプロスポーツ選手は蹴上げる fact19: もしもなにかは喋らないとするとそれは取得し易いししかも打ち鳴らす fact20: この企業名が参拝するとしたらその課税対象は参拝しない
fact5 -> hypothesis;
fact5 -> hypothesis;
あのカラードプラ法は蹴上げるということはない
fact21 -> int1: その不効率は冷え易くないとすれば「取得し易くないし蹴上げない」ということは成り立つということはない;
$facts$ = fact1: もしその課税対象は参拝するということはないとすれば「奥床しいかもしくは恐ろしくない」ということは間違いである fact2: あの漢詩はＥＲＴＡであるが聞きするということはない fact3: その課税対象が長しならその農道は長し fact4: もし仮にある物は口大でないならばそれは掲揚しないしさらに逃げ切らない fact5: あのカラードプラ法は蹴上げる fact6: もしもあの漢詩がＥＲＴＡである一方で聞きしないなら「その不効率は口大でない」ということは本当である fact7: 冷え易いものは蹴上げない fact8: この企業名は参拝する fact9: もし「長しし更に本報告書である」ものはあるとすれば「その不効率は低額でない」ということは事実である fact10: もし仮にあのカラードプラ法が低額でないならばあの特は冷え易くないしさらに取得し易いということはない fact11: 仮にとある物は掲揚しないしまた逃げ切らないとしたらそれは喋らない fact12: あのワープテキストは蹴上げる fact13: 仮にとあるものは冷え易くないならば「取得し易くないし加えて蹴上げるということはない」ということは嘘である fact14: その農道は本報告書だ fact15: 「冷え易いということはなくて加えて取得し易くないものは蹴上げない」ということは嘘でない fact16: 仮に「とある物は低額でかつ打ち鳴らす」ということは真実でないとすると低額でない fact17: もしも「その課税対象は奥床しいかあるいは恐ろしくない」ということは成り立たないとすればそれは長し fact18: あのプロスポーツ選手は蹴上げる fact19: もしもなにかは喋らないとするとそれは取得し易いししかも打ち鳴らす fact20: この企業名が参拝するとしたらその課税対象は参拝しない ; $hypothesis$ = あのカラードプラ法は蹴上げる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしその課税対象は参拝するということはないとすれば「奥床しいかもしくは恐ろしくない」ということは間違いである
事実2: あの漢詩はＥＲＴＡであるが聞きするということはない
事実3: その課税対象が長しならその農道は長し
事実4: もし仮にある物は口大でないならばそれは掲揚しないしさらに逃げ切らない
事実5: あのカラードプラ法は蹴上げる
事実6: もしもあの漢詩がＥＲＴＡである一方で聞きしないなら「その不効率は口大でない」ということは本当である
事実7: 冷え易いものは蹴上げない
事実8: この企業名は参拝する
事実9: もし「長しし更に本報告書である」ものはあるとすれば「その不効率は低額でない」ということは事実である
事実10: もし仮にあのカラードプラ法が低額でないならばあの特は冷え易くないしさらに取得し易いということはない
事実11: 仮にとある物は掲揚しないしまた逃げ切らないとしたらそれは喋らない
事実12: あのワープテキストは蹴上げる
事実13: 仮にとあるものは冷え易くないならば「取得し易くないし加えて蹴上げるということはない」ということは嘘である
事実14: その農道は本報告書だ
事実15: 「冷え易いということはなくて加えて取得し易くないものは蹴上げない」ということは嘘でない
事実16: 仮に「とある物は低額でかつ打ち鳴らす」ということは真実でないとすると低額でない
事実17: もしも「その課税対象は奥床しいかあるいは恐ろしくない」ということは成り立たないとすればそれは長し
事実18: あのプロスポーツ選手は蹴上げる
事実19: もしもなにかは喋らないとするとそれは取得し易いししかも打ち鳴らす
事実20: この企業名が参拝するとしたらその課税対象は参拝しない

仮説: あのカラードプラ法は蹴上げる
1. 事実5から、仮説が導かれる

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