あのロゼモンは遅い
fact1: もしも「なんらかの物が連邦レベルだけどそれははしたなくない」ということは事実と異なれば連邦レベルだということはない fact2: この恋は遅いしおまけに受け止める fact3: もし「「このメンバー一人一人ははしたなくなくてそれに言及でない」ということは誤っている」ということは真実ならばそれは駆け戻る fact4: もし仮にあのロゼモンは駆け戻らないとすると「「連邦レベルであるしそれははしたなくない」ということは正しい」ということは真実でない fact5: もしなんらかの物が駆け戻れば連邦レベルである fact6: 「あのロゼモンは遅くて加えて直り難い」ということは成り立つ fact7: あのロゼモンは儚し fact8: 「なんらかのものは連邦レベルだということはない」ということは成り立つとすれば「都会人でないし加えて遅くない」ということは確かである fact9: あの職員はめげるしかつそれは遅い fact10: あのロゼモンは有るらしいししかも登録出来る fact11: あのロゼモンは直り難い
fact6 -> hypothesis;
fact6 -> hypothesis;
この給付水準は直り難い
fact13 -> int1: 仮にあのロゼモンが連邦レベルでないならばそれは都会人でなくてそれに遅くない; fact14 -> int2: もし仮に「あのロゼモンは連邦レベルだがしかしはしたないということはない」ということは嘘だとしたらそれは連邦レベルでない;
$facts$ = fact1: もしも「なんらかの物が連邦レベルだけどそれははしたなくない」ということは事実と異なれば連邦レベルだということはない fact2: この恋は遅いしおまけに受け止める fact3: もし「「このメンバー一人一人ははしたなくなくてそれに言及でない」ということは誤っている」ということは真実ならばそれは駆け戻る fact4: もし仮にあのロゼモンは駆け戻らないとすると「「連邦レベルであるしそれははしたなくない」ということは正しい」ということは真実でない fact5: もしなんらかの物が駆け戻れば連邦レベルである fact6: 「あのロゼモンは遅くて加えて直り難い」ということは成り立つ fact7: あのロゼモンは儚し fact8: 「なんらかのものは連邦レベルだということはない」ということは成り立つとすれば「都会人でないし加えて遅くない」ということは確かである fact9: あの職員はめげるしかつそれは遅い fact10: あのロゼモンは有るらしいししかも登録出来る fact11: あのロゼモンは直り難い ; $hypothesis$ = あのロゼモンは遅い ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしも「なんらかの物が連邦レベルだけどそれははしたなくない」ということは事実と異なれば連邦レベルだということはない
事実2: この恋は遅いしおまけに受け止める
事実3: もし「「このメンバー一人一人ははしたなくなくてそれに言及でない」ということは誤っている」ということは真実ならばそれは駆け戻る
事実4: もし仮にあのロゼモンは駆け戻らないとすると「「連邦レベルであるしそれははしたなくない」ということは正しい」ということは真実でない
事実5: もしなんらかの物が駆け戻れば連邦レベルである
事実6: 「あのロゼモンは遅くて加えて直り難い」ということは成り立つ
事実7: あのロゼモンは儚し
事実8: 「なんらかのものは連邦レベルだということはない」ということは成り立つとすれば「都会人でないし加えて遅くない」ということは確かである
事実9: あの職員はめげるしかつそれは遅い
事実10: あのロゼモンは有るらしいししかも登録出来る
事実11: あのロゼモンは直り難い

仮説: あのロゼモンは遅い
1. 事実6から、仮説が導かれる

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