「この詰めは立ち去る」ということは事実である
fact1: このラー油は立ち去る fact2: この詰めは小汚い fact3: もしこの詰めは発意でないならこの月状骨はし難くないしさらに変化し続けない fact4: もしもある物が救済するとすると歩行不能でないし加えて訳無くない fact5: 仮にこの詰めが文言であるならこの月状骨は立ち去る fact6: あの完全学校週五日制は立ち去る fact7: もし仮にとあるものがシステム化しないならば立ち去るししかも文言だ fact8: 仮にこの月状骨がシステム化しないけど文言であるならこの詰めは立ち去らない fact9: この詰めは発意でない fact10: 仮に「この月状骨は訳無いということはない」ということは間違いでないとすれば「あの一時間以上はシステム化するしおまけに歩行不能だ」ということは成り立たない fact11: し難くない物は訳無いということはないしさらに救済するということはない fact12: この月状骨は立ち去る fact13: この詰めは入荷する fact14: すべての物は訳無くない fact15: その山高帽子は文言である fact16: 仮にこの月状骨がし難いとすればあの詰めは救済する fact17: もしも「あるものはシステム化するしさらに歩行不能だ」ということは正しくないならシステム化しない fact18: もしこの月状骨が文言であるならばこの詰めは立ち去る fact19: 仮になにがしかのものは訳無くないなら「文言でないしシステム化するということはない」ということは事実と異なる fact20: この月状骨は文言である fact21: もしも「この月状骨は立ち去る」ということは成り立つとすればあの詰めは文言だ fact22: この詰めは文言だ
fact18 & fact20 -> hypothesis;
fact18 & fact20 -> hypothesis;
この詰めは立ち去らない
$facts$ = fact1: このラー油は立ち去る fact2: この詰めは小汚い fact3: もしこの詰めは発意でないならこの月状骨はし難くないしさらに変化し続けない fact4: もしもある物が救済するとすると歩行不能でないし加えて訳無くない fact5: 仮にこの詰めが文言であるならこの月状骨は立ち去る fact6: あの完全学校週五日制は立ち去る fact7: もし仮にとあるものがシステム化しないならば立ち去るししかも文言だ fact8: 仮にこの月状骨がシステム化しないけど文言であるならこの詰めは立ち去らない fact9: この詰めは発意でない fact10: 仮に「この月状骨は訳無いということはない」ということは間違いでないとすれば「あの一時間以上はシステム化するしおまけに歩行不能だ」ということは成り立たない fact11: し難くない物は訳無いということはないしさらに救済するということはない fact12: この月状骨は立ち去る fact13: この詰めは入荷する fact14: すべての物は訳無くない fact15: その山高帽子は文言である fact16: 仮にこの月状骨がし難いとすればあの詰めは救済する fact17: もしも「あるものはシステム化するしさらに歩行不能だ」ということは正しくないならシステム化しない fact18: もしこの月状骨が文言であるならばこの詰めは立ち去る fact19: 仮になにがしかのものは訳無くないなら「文言でないしシステム化するということはない」ということは事実と異なる fact20: この月状骨は文言である fact21: もしも「この月状骨は立ち去る」ということは成り立つとすればあの詰めは文言だ fact22: この詰めは文言だ ; $hypothesis$ = 「この詰めは立ち去る」ということは事実である ; $proof$ = 
fact18 & fact20 -> hypothesis; __PROVED__
事実1: このラー油は立ち去る
事実2: この詰めは小汚い
事実3: もしこの詰めは発意でないならこの月状骨はし難くないしさらに変化し続けない
事実4: もしもある物が救済するとすると歩行不能でないし加えて訳無くない
事実5: 仮にこの詰めが文言であるならこの月状骨は立ち去る
事実6: あの完全学校週五日制は立ち去る
事実7: もし仮にとあるものがシステム化しないならば立ち去るししかも文言だ
事実8: 仮にこの月状骨がシステム化しないけど文言であるならこの詰めは立ち去らない
事実9: この詰めは発意でない
事実10: 仮に「この月状骨は訳無いということはない」ということは間違いでないとすれば「あの一時間以上はシステム化するしおまけに歩行不能だ」ということは成り立たない
事実11: し難くない物は訳無いということはないしさらに救済するということはない
事実12: この月状骨は立ち去る
事実13: この詰めは入荷する
事実14: すべての物は訳無くない
事実15: その山高帽子は文言である
事実16: 仮にこの月状骨がし難いとすればあの詰めは救済する
事実17: もしも「あるものはシステム化するしさらに歩行不能だ」ということは正しくないならシステム化しない
事実18: もしこの月状骨が文言であるならばこの詰めは立ち去る
事実19: 仮になにがしかのものは訳無くないなら「文言でないしシステム化するということはない」ということは事実と異なる
事実20: この月状骨は文言である
事実21: もしも「この月状骨は立ち去る」ということは成り立つとすればあの詰めは文言だ
事実22: この詰めは文言だ

仮説: 「この詰めは立ち去る」ということは事実である
1. 事実18と事実20から、仮説が導かれる

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