「もし仮に「御優しいということはない」ということは本当なら「結合し易くないし加えておっそろしない」ということは正しくない」物はある
fact1: もしその側頭筋は流れ易くないなら「それは地下深くないし更にそれは結合し易くない」ということは成り立つということはない fact2: もしあのノーデオブジェクトはスポーツ選手でないなら「それは千九百年頃だということはないし更にそれはおっそろし」ということは成り立たない fact3: その核保有国はおっそろしということはないなら「それは下回らなくてそれは兵庫県立工業技術センターでない」ということは間違いである fact4: 「もし仮に御優しいということはないなら結合し易くないしまたおっそろしない」物はある fact5: 「もしも減封しないとすれば「ＰＡゲット病でないけれど圧倒する」ということは成り立つということはない」ものはある fact6: もしその核保有国はおっそろしないとすると「寸法であるが近付き難くない」ということは正しくない fact7: 「仮にハウスキーピングでないとすると「まだるっこしくないし行儀良い」ということは成り立たない」物はある fact8: 「「仮に奥深くないなら「リンポシェであるということはないし艶っぽくない」ということは成り立たない」物はある」ということは事実である fact9: 仮にその核保有国は御優しくないとすれば「結合し易くないしそれはおっそろしない」ということは誤っている fact10: 仮にその核保有国は逞しいとすると「それは植菌でないしおっそろしない」ということは成り立たない fact11: その核保有国は四つ橋線だということはないとすれば「結合し易くないしそれに悲しということはない」ということは成り立たない fact12: 「もし女生徒達でないとすると「整理信託公社でなくて更に掻き易い」ということは成り立たない」ものはある fact13: もし仮にその核保有国が御優しくないとすれば結合し易くないししかもおっそろしない fact14: 「もし熱くないとしたら「逞しいし加えて練り味噌でない」ということは偽である」ものはある
fact9 -> hypothesis;
fact9 -> hypothesis;
$facts$ = fact1: もしその側頭筋は流れ易くないなら「それは地下深くないし更にそれは結合し易くない」ということは成り立つということはない fact2: もしあのノーデオブジェクトはスポーツ選手でないなら「それは千九百年頃だということはないし更にそれはおっそろし」ということは成り立たない fact3: その核保有国はおっそろしということはないなら「それは下回らなくてそれは兵庫県立工業技術センターでない」ということは間違いである fact4: 「もし仮に御優しいということはないなら結合し易くないしまたおっそろしない」物はある fact5: 「もしも減封しないとすれば「ＰＡゲット病でないけれど圧倒する」ということは成り立つということはない」ものはある fact6: もしその核保有国はおっそろしないとすると「寸法であるが近付き難くない」ということは正しくない fact7: 「仮にハウスキーピングでないとすると「まだるっこしくないし行儀良い」ということは成り立たない」物はある fact8: 「「仮に奥深くないなら「リンポシェであるということはないし艶っぽくない」ということは成り立たない」物はある」ということは事実である fact9: 仮にその核保有国は御優しくないとすれば「結合し易くないしそれはおっそろしない」ということは誤っている fact10: 仮にその核保有国は逞しいとすると「それは植菌でないしおっそろしない」ということは成り立たない fact11: その核保有国は四つ橋線だということはないとすれば「結合し易くないしそれに悲しということはない」ということは成り立たない fact12: 「もし女生徒達でないとすると「整理信託公社でなくて更に掻き易い」ということは成り立たない」ものはある fact13: もし仮にその核保有国が御優しくないとすれば結合し易くないししかもおっそろしない fact14: 「もし熱くないとしたら「逞しいし加えて練り味噌でない」ということは偽である」ものはある ; $hypothesis$ = 「もし仮に「御優しいということはない」ということは本当なら「結合し易くないし加えておっそろしない」ということは正しくない」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしその側頭筋は流れ易くないなら「それは地下深くないし更にそれは結合し易くない」ということは成り立つということはない
事実2: もしあのノーデオブジェクトはスポーツ選手でないなら「それは千九百年頃だということはないし更にそれはおっそろし」ということは成り立たない
事実3: その核保有国はおっそろしということはないなら「それは下回らなくてそれは兵庫県立工業技術センターでない」ということは間違いである
事実4: 「もし仮に御優しいということはないなら結合し易くないしまたおっそろしない」物はある
事実5: 「もしも減封しないとすれば「ＰＡゲット病でないけれど圧倒する」ということは成り立つということはない」ものはある
事実6: もしその核保有国はおっそろしないとすると「寸法であるが近付き難くない」ということは正しくない
事実7: 「仮にハウスキーピングでないとすると「まだるっこしくないし行儀良い」ということは成り立たない」物はある
事実8: 「「仮に奥深くないなら「リンポシェであるということはないし艶っぽくない」ということは成り立たない」物はある」ということは事実である
事実9: 仮にその核保有国は御優しくないとすれば「結合し易くないしそれはおっそろしない」ということは誤っている
事実10: 仮にその核保有国は逞しいとすると「それは植菌でないしおっそろしない」ということは成り立たない
事実11: その核保有国は四つ橋線だということはないとすれば「結合し易くないしそれに悲しということはない」ということは成り立たない
事実12: 「もし女生徒達でないとすると「整理信託公社でなくて更に掻き易い」ということは成り立たない」ものはある
事実13: もし仮にその核保有国が御優しくないとすれば結合し易くないししかもおっそろしない
事実14: 「もし熱くないとしたら「逞しいし加えて練り味噌でない」ということは偽である」ものはある

仮説: 「もし仮に「御優しいということはない」ということは本当なら「結合し易くないし加えておっそろしない」ということは正しくない」物はある
1. 事実9から、仮説が導かれる

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