「もしも微笑ましいとしたら「真新しくないけれど其れっぽい」ということは事実と異なる」物はある
fact1: なんらかの物は月食だとすれば「それは閉塞しなくて永訣である」ということは成り立たない fact2: もし仮にこのブロードバンドルーターが微笑ましいならそれは真新しくないけれど其れっぽい fact3: 「仮に「微笑ましい」ということは事実ならば「真新しいしおまけに其れっぽい」ということは成り立たない」物はある fact4: 「仮に過剰発現するなら「絶え間無くなくて反論出来る」ということは成り立たない」物はある fact5: もしもなにがしかのものは愚弄するとしたら「それは真新しくないがしかし詐術である」ということは成り立たない fact6: もしその救世は真新しいとしたら「それは同城であるということはなくて当該定款だ」ということは間違っている fact7: このブロードバンドルーターは微笑ましいなら「それは真新しくないけど其れっぽい」ということは間違っている fact8: その生母が狭いなら集合場所だということはないけれど惨たらしい
fact7 -> hypothesis;
もし仮にこのブロードバンドルーターは愚弄すれば「それは真新しくないけど詐術だ」ということは誤っている
fact9 -> hypothesis;
$facts$ = fact1: なんらかの物は月食だとすれば「それは閉塞しなくて永訣である」ということは成り立たない fact2: もし仮にこのブロードバンドルーターが微笑ましいならそれは真新しくないけれど其れっぽい fact3: 「仮に「微笑ましい」ということは事実ならば「真新しいしおまけに其れっぽい」ということは成り立たない」物はある fact4: 「仮に過剰発現するなら「絶え間無くなくて反論出来る」ということは成り立たない」物はある fact5: もしもなにがしかのものは愚弄するとしたら「それは真新しくないがしかし詐術である」ということは成り立たない fact6: もしその救世は真新しいとしたら「それは同城であるということはなくて当該定款だ」ということは間違っている fact7: このブロードバンドルーターは微笑ましいなら「それは真新しくないけど其れっぽい」ということは間違っている fact8: その生母が狭いなら集合場所だということはないけれど惨たらしい ; $hypothesis$ = 「もしも微笑ましいとしたら「真新しくないけれど其れっぽい」ということは事実と異なる」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: なんらかの物は月食だとすれば「それは閉塞しなくて永訣である」ということは成り立たない
事実2: もし仮にこのブロードバンドルーターが微笑ましいならそれは真新しくないけれど其れっぽい
事実3: 「仮に「微笑ましい」ということは事実ならば「真新しいしおまけに其れっぽい」ということは成り立たない」物はある
事実4: 「仮に過剰発現するなら「絶え間無くなくて反論出来る」ということは成り立たない」物はある
事実5: もしもなにがしかのものは愚弄するとしたら「それは真新しくないがしかし詐術である」ということは成り立たない
事実6: もしその救世は真新しいとしたら「それは同城であるということはなくて当該定款だ」ということは間違っている
事実7: このブロードバンドルーターは微笑ましいなら「それは真新しくないけど其れっぽい」ということは間違っている
事実8: その生母が狭いなら集合場所だということはないけれど惨たらしい

仮説: 「もしも微笑ましいとしたら「真新しくないけれど其れっぽい」ということは事実と異なる」物はある
1. 事実7から、仮説が導かれる

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