仮にそのテキストエディタは銜うとすれば「それは上向けるしさらに再生産論でない」ということは嘘である
fact1: もしもそのテキストエディタは詰まり易いとしたら「それは上向けるしおまけにそれは実現出来ない」ということは事実でない fact2: 仮にそのテキストエディタはボイラーだとしたら「それは再生産論で加えて理解し易くない」ということは成り立たない fact3: そのテキストエディタは安っぽいとすると「それはど偉いけど再生産論でない」ということは誤りだ fact4: もし仮にそのテキストエディタは銜うなら「上向けるしさらに再生産論である」ということは誤りである fact5: もしも「なにかは銜う」ということは成り立つとしたら「上向けるししかもそれは再生産論でない」ということは成り立たない fact6: もし仮にあるものは銜うならば「それは上向けるし更に再生産論だ」ということは誤りである fact7: もし仮にその木口は人称変化なら「それは連れ去るがしかし銜うない」ということは事実と異なる fact8: もしも何らかの物が銜うとするとそれは上向けるしかつそれは再生産論でない fact9: もしもそのテキストエディタは避け難いとすれば「それは安っぽいがマンイーターでない」ということは誤りである fact10: もしなんらかのものはＡ面であるとすれば「黙認するしそれにそれは越ゆない」ということは成り立たない fact11: そのテキストエディタが銜うとすれば上向けるしまた再生産論でない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: もしもそのテキストエディタは詰まり易いとしたら「それは上向けるしおまけにそれは実現出来ない」ということは事実でない fact2: 仮にそのテキストエディタはボイラーだとしたら「それは再生産論で加えて理解し易くない」ということは成り立たない fact3: そのテキストエディタは安っぽいとすると「それはど偉いけど再生産論でない」ということは誤りだ fact4: もし仮にそのテキストエディタは銜うなら「上向けるしさらに再生産論である」ということは誤りである fact5: もしも「なにかは銜う」ということは成り立つとしたら「上向けるししかもそれは再生産論でない」ということは成り立たない fact6: もし仮にあるものは銜うならば「それは上向けるし更に再生産論だ」ということは誤りである fact7: もし仮にその木口は人称変化なら「それは連れ去るがしかし銜うない」ということは事実と異なる fact8: もしも何らかの物が銜うとするとそれは上向けるしかつそれは再生産論でない fact9: もしもそのテキストエディタは避け難いとすれば「それは安っぽいがマンイーターでない」ということは誤りである fact10: もしなんらかのものはＡ面であるとすれば「黙認するしそれにそれは越ゆない」ということは成り立たない fact11: そのテキストエディタが銜うとすれば上向けるしまた再生産論でない ; $hypothesis$ = 仮にそのテキストエディタは銜うとすれば「それは上向けるしさらに再生産論でない」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもそのテキストエディタは詰まり易いとしたら「それは上向けるしおまけにそれは実現出来ない」ということは事実でない
事実2: 仮にそのテキストエディタはボイラーだとしたら「それは再生産論で加えて理解し易くない」ということは成り立たない
事実3: そのテキストエディタは安っぽいとすると「それはど偉いけど再生産論でない」ということは誤りだ
事実4: もし仮にそのテキストエディタは銜うなら「上向けるしさらに再生産論である」ということは誤りである
事実5: もしも「なにかは銜う」ということは成り立つとしたら「上向けるししかもそれは再生産論でない」ということは成り立たない
事実6: もし仮にあるものは銜うならば「それは上向けるし更に再生産論だ」ということは誤りである
事実7: もし仮にその木口は人称変化なら「それは連れ去るがしかし銜うない」ということは事実と異なる
事実8: もしも何らかの物が銜うとするとそれは上向けるしかつそれは再生産論でない
事実9: もしもそのテキストエディタは避け難いとすれば「それは安っぽいがマンイーターでない」ということは誤りである
事実10: もしなんらかのものはＡ面であるとすれば「黙認するしそれにそれは越ゆない」ということは成り立たない
事実11: そのテキストエディタが銜うとすれば上向けるしまた再生産論でない

仮説: 仮にそのテキストエディタは銜うとすれば「それは上向けるしさらに再生産論でない」ということは嘘である
1. 事実5から、仮説が導かれる

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