このインターフェースモジュールは表現し難い
fact1: 仮に移り難いものがすばしこいとしたら表現し難くない fact2: もし仮に「なんらかの物は甚だしないしそれに痛くない」ということは間違いならばそれは排泄訓練でない fact3: この北部同盟はもたもたするしかつ謝絶する fact4: 仮に何かはもたもたするし謝絶すれば「あの希代は程良い」ということは事実だ fact5: もしある物が歩み出すならばあの値下がりは多くないし加えてそれは御祭りしない fact6: もしもある物が三クウィーニーだとすれば生鮮食品だ fact7: 仮に多くないものは御祭りしないなら「夫婦らしいということはない」ということは成り立つ fact8: 「このインターフェースモジュールは排泄訓練でない」ということは本当であるとすればこのホグワーツ校は読み合わせなくて細くない fact9: その卵巣嚢腫は表現し難い fact10: その関八州は表現し難い fact11: このインターフェースモジュールは科学館だ fact12: そのヒドロキシ酪酸が読み合わせないとしたらこのインターフェースモジュールは移り難くて更に細い fact13: もしもあの値下がりは夫婦らしくないならば「このインターフェースモジュールは甚だしないし痛くない」ということは成り立つということはない fact14: もし「あの希代は読み合わせるかそれは排泄訓練でないかもしくは両方だ」ということは嘘だとすれば「そのヒドロキシ酪酸は読み合わせない」ということは間違っているということはない fact15: なにがしかの物は読み合わせなくて加えて細くないとするとすばしこくない fact16: もしも「あの希代は生鮮食品である」ということは確かであるとすればあのヒドロキシ酪酸は歩み出す fact17: 「程良い物は三クウィーニーだ」ということは成り立つ fact18: このインターフェースモジュールは表現し難い fact19: すばしこいということはないものは表現し難いしそれに移り難い
fact18 -> hypothesis;
fact18 -> hypothesis;
このインターフェースモジュールは表現し難くない
fact20 -> int1: このインターフェースモジュールは移り難いし更にすばしこいなら表現し難くない;
$facts$ = fact1: 仮に移り難いものがすばしこいとしたら表現し難くない fact2: もし仮に「なんらかの物は甚だしないしそれに痛くない」ということは間違いならばそれは排泄訓練でない fact3: この北部同盟はもたもたするしかつ謝絶する fact4: 仮に何かはもたもたするし謝絶すれば「あの希代は程良い」ということは事実だ fact5: もしある物が歩み出すならばあの値下がりは多くないし加えてそれは御祭りしない fact6: もしもある物が三クウィーニーだとすれば生鮮食品だ fact7: 仮に多くないものは御祭りしないなら「夫婦らしいということはない」ということは成り立つ fact8: 「このインターフェースモジュールは排泄訓練でない」ということは本当であるとすればこのホグワーツ校は読み合わせなくて細くない fact9: その卵巣嚢腫は表現し難い fact10: その関八州は表現し難い fact11: このインターフェースモジュールは科学館だ fact12: そのヒドロキシ酪酸が読み合わせないとしたらこのインターフェースモジュールは移り難くて更に細い fact13: もしもあの値下がりは夫婦らしくないならば「このインターフェースモジュールは甚だしないし痛くない」ということは成り立つということはない fact14: もし「あの希代は読み合わせるかそれは排泄訓練でないかもしくは両方だ」ということは嘘だとすれば「そのヒドロキシ酪酸は読み合わせない」ということは間違っているということはない fact15: なにがしかの物は読み合わせなくて加えて細くないとするとすばしこくない fact16: もしも「あの希代は生鮮食品である」ということは確かであるとすればあのヒドロキシ酪酸は歩み出す fact17: 「程良い物は三クウィーニーだ」ということは成り立つ fact18: このインターフェースモジュールは表現し難い fact19: すばしこいということはないものは表現し難いしそれに移り難い ; $hypothesis$ = このインターフェースモジュールは表現し難い ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: 仮に移り難いものがすばしこいとしたら表現し難くない
事実2: もし仮に「なんらかの物は甚だしないしそれに痛くない」ということは間違いならばそれは排泄訓練でない
事実3: この北部同盟はもたもたするしかつ謝絶する
事実4: 仮に何かはもたもたするし謝絶すれば「あの希代は程良い」ということは事実だ
事実5: もしある物が歩み出すならばあの値下がりは多くないし加えてそれは御祭りしない
事実6: もしもある物が三クウィーニーだとすれば生鮮食品だ
事実7: 仮に多くないものは御祭りしないなら「夫婦らしいということはない」ということは成り立つ
事実8: 「このインターフェースモジュールは排泄訓練でない」ということは本当であるとすればこのホグワーツ校は読み合わせなくて細くない
事実9: その卵巣嚢腫は表現し難い
事実10: その関八州は表現し難い
事実11: このインターフェースモジュールは科学館だ
事実12: そのヒドロキシ酪酸が読み合わせないとしたらこのインターフェースモジュールは移り難くて更に細い
事実13: もしもあの値下がりは夫婦らしくないならば「このインターフェースモジュールは甚だしないし痛くない」ということは成り立つということはない
事実14: もし「あの希代は読み合わせるかそれは排泄訓練でないかもしくは両方だ」ということは嘘だとすれば「そのヒドロキシ酪酸は読み合わせない」ということは間違っているということはない
事実15: なにがしかの物は読み合わせなくて加えて細くないとするとすばしこくない
事実16: もしも「あの希代は生鮮食品である」ということは確かであるとすればあのヒドロキシ酪酸は歩み出す
事実17: 「程良い物は三クウィーニーだ」ということは成り立つ
事実18: このインターフェースモジュールは表現し難い
事実19: すばしこいということはないものは表現し難いしそれに移り難い

仮説: このインターフェースモジュールは表現し難い
1. 事実18から、仮説が導かれる

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