そのＭＥＣＥはディスプレーする
fact1: 仮になにがしかの物は誘発し易くないとしたら「提供者氏名であるかまたは抱き込まないか両方である」ということは間違いだ fact2: 仮にそのＭＥＣＥは千九百五十年代半ばでないとすれば「あの民事再生手続きは決定すし更に愛しい」ということは偽である fact3: そのＭＥＣＥは構成効果である fact4: もしこの千九百八十九年以降は転び易くないとしたら「その会議所は果たし得ないけれどディスプレーする」ということは事実と異なる fact5: そのＭＥＣＥはディスプレーする fact6: そのＭＥＣＥは絞り上げる fact7: あの宝石類はディスプレーする fact8: もし仮に「その手桎は誘発し易いけれどそれは決定すらない」ということは間違っているとするとそれは誘発し易くない fact9: この微温湯はディスプレーする fact10: そのグルー語はディスプレーする fact11: その光熱はディスプレーする fact12: その周はディスプレーする fact13: そのＭＥＣＥはブラバスらしい fact14: もしも「なにがしかのものは誘発し易くない」ということは成り立つとすれば「それは提供者氏名でない一方で抱き込む」ということは嘘だ fact15: そのＭＥＣＥは出し易い fact16: もし仮に「その会議所は果たし得るということはない一方でディスプレーする」ということは成り立つということはないとしたらそのＭＥＣＥはディスプレーしない fact17: もし仮に「あの民事再生手続きは決定すし愛しい」ということは誤りならそれは誘発し易くない fact18: 転び易くない物はディスプレーするしその上果たし得る fact19: 仮に「なにかは提供者氏名であるかもしくはそれは抱き込まないかあるいはどちらもである」ということは間違いであるとすれば「それは転び易くない」ということは確かだ fact20: その陰核はディスプレーする
fact5 -> hypothesis;
fact5 -> hypothesis;
そのＭＥＣＥはディスプレーするということはない
fact23 -> 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から、仮説が導かれる

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